#include<iostream>
using namespace std;
int main(){
  int n,player,card[2],teki,all[11],bell;
  while(cin >> card[0] >> card[1] >> teki){
    bell=0;
    for(int i=0;i<11;i++){
      all[i]=0;
    }
    all[card[0]]++;
    all[card[1]]++;
    all[teki]++;
    player=card[0]+card[1];//手持ちカード合計数。
    player=20-player;//これ以上の数ひいたらだめ。
    for(int i=1;i<=10;i++){
      if(all[i]==0){
	if(player<=i){//カードが規定より大きい数字だったら。
	  bell++;
	}
      }
    }
    if(bell<5){
      cout << "YES" << endl;
    }
    else{
      cout << "NO" << endl;
    }
  }
}