#include <iostream>
using namespace std;

int main(){
	int card[11], C1, C2 , C3, sum, count;

	while( cin >> C1 >> C2 >> C3 ){
		for(int i=1 ; i<=10 ; ++i){
			card[i] = 1;
		}
		count = 0;
		sum = C1 + C2;
		card[C1] = 0;
		card[C2] = 0;
		card[C3] = 0;
		for(int i=1 ; i<=10 ; ++i){
			if( card[i] == 1 && i+sum <= 20 ){
				count++;
			}
		}
		if( count/7.0 >= 0.5 )
			cout << "YES" << endl;
		else
			cout << "NO" << endl;
	}
}