#include<iostream>
using namespace std;
int main(){
  int a,b,c,cnt;
  while(cin>>a>>b>>c){
    cnt=0;
    for(int i=1;i<=10;i++){
      if(i==a||i==b||i==c)continue;
      if(a+b+i<=20)cnt++;
    }
    if(cnt>=4)cout<<"YES"<<endl;
    else cout<<"NO"<<endl;
  }
  return 0;
}