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

int C[3];

double getP() {
  int a = 0;
  int b = 0;
  for(int i = 1; i <= 10; ++i) {
    bool flag = true;
    for(int j = 0; j < 3; ++j) {
      if(i == C[j]) {
	flag = false;
	break;
      }
    }
    if(!flag) continue;
    ++b;
    if(C[0] + C[1] + i <= 20) ++a;
  }
  return (double)a/b;
}

int main() {
  while(cin >> C[0] >> C[1] >> C[2]) cout << (getP() >= 0.5 ? "YES" : "NO") << endl;
  return 0;
}