#include <iostream>
#include <algorithm>
using namespace std;

int main() {
  int a, b, c;
  while(cin >> a >> b >> c) {
    int d = 0;
    for(int i = 1; i <= 10; ++i) {
      if(i == a || i == b || i == c) continue;
      d += ( a+b+i <= 20 );
    }
    if(2*d >= 7) cout << "YES" << endl;
    else cout << "NO" << endl;
  }
  return 0;
}