#include <iostream>

using namespace std;

int main(void){
  int i,j,k,l;
  int a,b,c;
  int sum;
  int judge;
  
  while(cin>>a>>b>>c){
    sum=0;
    judge=0;
    sum+=a+b;
    for(i=1;i<11;i++){
      if(sum+i<=20&&i!=c&&i!=a&&i!=b){
	judge++;
      }
    }
    if((double)judge/7.0>=0.5){
      cout<<"YES"<<endl;
    }else{
      cout<<"NO"<<endl;
    }
  }
  return(0);
}