//52
#include<iostream>

using namespace std;

int main(){
  for(int c,cc,ccc;cin>>c>>cc>>ccc;){
    bool card[11]={};
    card[c]=card[cc]=card[ccc]=true;
    int u=0;
    for(int i=1;i<=10;i++){
      u+=(!card[i])&&(c+cc+i<=20);
    }
    cout<<((u>=4)?"YES":"NO")<<endl;
  }
  return 0;
}