#include<iostream>
using namespace std;
int main(){
  bool n[11]={0};
  int a,b,c;
  while(cin>>a>>b>>c){
    for(int i=0;i<11;i++){
      n[i]=true;
    }
    n[a]=false; n[b]=false; n[c]=false;
    int all=0,ok=0;
    for(int i=1;i<11;i++){
      if(n[i]){
	if(i+a+b<=20){
	  ok++;
	}
	all++;
      }
    }
    // cout<<all<<ok<<endl;
      if(all<=ok*2)cout<<"YES"<<endl;
      else cout<<"NO"<<endl;
  }
}