 #include<iostream>
 #include<stdio.h>
 #include<string>
 #include<math.h>
 #include<iomanip>
 #include<algorithm>
 #include<string.h>
 #include<cctype>
 #include<map>
 #include<set>
 #include<vector>
 #include<sstream>
 #include<stack>
 #include<queue>
 #include<deque>
 #include<functional>
 #include<utility>
 
 using namespace std;

 int main()
 {
   int c1,c2,c3;
   while(cin>>c1>>c2>>c3)
   {
     bool arr[10]={false};
     int sum=c1+c2;
     arr[c1-1]=true;
     arr[c2-1]=true;
     arr[c3-1]=true;
     int count=0;
     int count2=0;
     for(int i=0;i<10;i++)
     {
       if((!arr[i])&&((sum+i+1)<=20)) count++;       
     }
     double rate=1.0*count*6/56;
     if(rate>0.5) cout<<"YES"<<endl;
     else cout<<"NO"<<endl;
   }
   //while(1);
   return 0;
 }

 
  