#include <iostream>
using namespace std;

int main() {
  int C1,C2,C3,k;
  double prob;
  while(cin >> C1 >> C2 >> C3) {
    k=0;
    for(int i=1;i<11;i++) {
      if((C1 + C2 + i <= 20) && (i != C1)&&(i != C2)&&(i != C3)) {
        k++;
      }
    }
    prob = k / 7.0;
    if(prob >= 0.5)
      cout << "YES" << endl;
    else
      cout << "NO" << endl;
  }
}