#include<iostream>
#include<cstdio>
using namespace std;

int main(int argc, char *argv[])
{
  int C1,C2,C3;
  while( scanf("%d %d %d",&C1,&C2,&C3) !=EOF){;
  int d = 0;
    for(int i = 1;i <=10;i++){
      if(i != C1&& i != C2&& i!=C3){
	if(C1 + C2 + i <=20){
	  d++;
	}
      }
    }
    if((double)d/7 >=0.5){//残り七枚でその当たり牌を引く確率
      cout <<"YES"<<endl;
    }else{
      cout <<"NO"<<endl;
    }
  }
  return 0;
}