#include <iostream>

using namespace std;

int main() {
  int c1, c2, c3;
  bool flag[11];
  int count = 0;
  
  while (true) {
    cin >> c1 >> c2 >> c3;
    if (-1 == c1) break;
    
    for (int i = 1; i < 11; i++) flag[i] = true;
    flag[c1] = flag[c2] = flag[c3] = false;
    
    // over false
    for (int i = 1; i < 11; i++) if (flag[i] && (i + c1 + c2 <= 20)) count++;
    
    cout << (count >= 4 ? "YES" : "NO") << endl;
    
    count = 0;
    c1 = -1;
  }
  return 0;
}