#include<iostream>
#define THRESHOLD 20
#define PROBABILITY 0.5
#define RESTOFCARD 7

using namespace std;

	int card[10];

int main(){
 	
 	int count,temp;
 	int myCard[3],opponentCard;
 	double ans;
 	bool flag;
 	for(int i=1;i<=10;i++){
 		card[i]=i;
 	}
 	
 	while(cin>>myCard[0]>>myCard[1]>>opponentCard){
 		count=0;
 		for(int i=1;i<=10;i++){
 		   if(myCard[0]!=i && myCard[1]!=i && opponentCard!=i){
 		   		temp=i+myCard[0]+myCard[1];
 		   		if(temp<20){
 		   			count++;
 		   		}
 		   }
 		}
 		ans=(double)count/(double)RESTOFCARD;
 		
 		if(ans>=PROBABILITY){
 			cout<<"YES"<<endl;
 		}
 		else{
 			cout<<"NO"<<endl;
 		}
 	}
 	
}