#include<iostream>
#include<string>
using namespace std;
int main(){
long a,b,c,i,j[11],k;
while(cin>>a){
cin>>b>>c;
for(i=1;i<=10;i++)j[i]=0;
j[a]=j[b]=j[c]=1;
for(k=0,i=1;i<=10;i++){k+=j[i];if(k==4)break;}
if(a+b+i<=20)cout<<"YES"<<endl;
else cout<<"NO"<<endl;
}
return 0;
}