#include<iostream>
using namespace std;
int main(){
  int d1,d2,d3;
  while(cin >> d1 >> d2 >> d3){
    int i,j,k=0;
    for(i=1;i<=10;i++){
      if(i==d1||i==d2||i==d3) continue;
      if(d1+d2+i<=20) k++;
    }
    //cout << k << endl;
    if(k*2>7) cout << "YES" << endl;
    else cout << "NO" << endl;
  }
  return 0;
}