#include<iostream>
using namespace std;

int main(){
  int c[3],total;
  double a;
  while(cin >> c[0]){
    cin >> c[1];
    cin >> c[2];
    int cou=0;
    total = c[0] + c[1];
    for(int i=1;i<11;i++){
      if(i != c[0] && i != c[1] && i != c[2]){
	if(total+i <= 20){
	  cou++;
	}
      }
    }
    a=cou/7.0*100;
    if(a >= 50){
      cout << "YES" << endl;
    }
    else cout << "NO" << endl;
  }
}