#include<iostream>
#include<vector>
#include<algorithm>
#include<cstdio>
#include<cstdlib>
#include<string>
#include<sstream>
#include<cmath>
#include<numeric>
#include<map>
#include<stack>
#include<queue>
using namespace std;
int inf = 1000000000;

int main(void) {
  int a, b, c;
  while(cin >> a >> b >> c){
    vector<bool> x(11, false);
    x[a] = true;
    x[b] = true;
    x[c] = true;
    double ans = 0.0;
    int tmp = a+b;
    for(int i=1; i<11; i++){
      if( !x[i] ){
        if( tmp + i <= 20 ) ans += 1.0;
      }
    }
    ans /= 7.0;
    if( ans*100 >= 50.0 ) cout << "YES" << endl;
    else cout << "NO" << endl;

  }

  return 0;
}

// EOF