#include<iostream>
using namespace std;
int main(){
  int c1,c2,c3;
  int ok,ng;
  while(cin>>c1>>c2>>c3){
    ok=0;
    ng=0;
    for(int i=1;i<=10;i++){
      if(i!=c1 && i!=c2 && i!=c3){
	if(c1+c2+i<=20){
	  ok++;
	}else{
	  ng++;
	}
      }
    }
    if(ok>=ng) cout<<"YES"<<endl;
    else cout<<"NO"<<endl;
  }
}