#include <iostream>

using namespace std;

int a, b, c;

bool is_drow() {
  int sum = a + b;
  int c = 0;
  for(int i=1; i<=10; i++) {
    if(sum+i > 20) {
      break;
    }
    if(i != a && i != b && i != c) {
      c++;
    }
  }
  if(c >= 4) {
    return true;
  }
  return false;
}
int main() {
  while(cin >> a) {
    cin >> b >> c;
    if(is_drow()) {
      cout << "YES" << endl;
    }
    else {
      cout << "NO" << endl;
    }
  }
  return 0;
}