#include<iostream>
#include<string>
using namespace std;

int main(){
	bool use[11];
	string in;
	
	while(1){
		int c1,c2,c3,c;
		double per=0.0;
		getline( cin, in );
		if( in.length()==0 )	break;
		sscanf(in.c_str(),"%d %d %d", &c1, &c2, &c3);
		for( int i=1; i<=10; i++ )	use[i] = false;
		use[c1] = use[c2] = use[c3] = true;
		c = c1 + c2;
		for( int i=1; i<=10; i++ ){
			if( !use[i] ){
				if( c+i <= 20 ){
					per += 1.0 / 7.0;
				}
			}
		}
		cout << (per>=0.5?"YES":"NO") << endl;
	}
	return 0;
}