#include<iostream>


using namespace std;

int main(){
  int C1,C2,C3,sum,cnt;
  bool card[11];
  while(cin >> C1 >> C2 >> C3){
    for(int i=0;i<=10;i++)card[i] = true;
    card[C1] = card[C2] = card[C3] = false;
    sum = C1+C2; cnt = 0;
    for(int i=1;i<=10;i++)if(card[i] && sum+i <= 20)cnt++;
    cnt*10 >= 35 ? cout << "YES":cout << "NO";
    cout << endl;    

  }
  return 0;
}