#include<iostream>
using namespace std ;

int main(){
	
	int c[3] ;
	double sum , count ;
	
	while(1){
		sum = 0 ;
		count = 0 ;
		cin >> c[0] ;
		if( cin.eof() ) break ;
		cin >> c[1] >> c[2] ;
		
		sum = c[0] + c[1] ;
		
		for( int i=1 ; i<=10 ; i++ ){
			if( c[0] != i && c[1] != i && c[2] != i ){
				if( sum+i > 20 ) count++;
			}
		}
		
		if( count/7*100 >= 50 ) cout << "NO" << endl ;
		else cout << "YES" << endl ;
		
		
	}
return 0 ;
}