#include <iostream>

using namespace std;

int main(){
  int card[11],c;
  while(1){
  for(int i = 1; i <= 10; i++ )card[i] = 1;
  double ave = 0;
  for(int i = 0 ; i < 3 ; i++)
    {
      cin >> c;
      if(cin.eof())return 0;
      card[c] = 0; 
      if(i != 2)ave += c; 
    }

  for(int i = 1; i <= 10; i++ )
    {
      if(20-ave < i )card[i] = 0;
    }
  ave = 0;
  for(int i = 1; i <= 10; i++ )ave += card[i];
  if(ave/10 >= 0.5)cout << "YES" << endl;
  else cout << "NO" << endl;
  }
}