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

int main(void){
     int c1,c2,c3;
     int n,count=0;
     cin >> c1 >> c2 >> c3;
     n = c1+c2;
     vector<double> arg;
     for(int i=1;i<11;i++){
	  if(i!=c1 and i!=c2 and i!=c3){
	       arg.push_back(i);
	  }
     }
     for(int i=1;i<11;i++){
	  if(n+i<=20){
	       if(i!=c1 and i!=c2 and i!=c3){
		    count++;
	       }
	  }
     }
     if(count>3){
	  cout << "YES" << endl;
     }else{
	  cout << "NO" << endl;
     }
     return 0;
}