#include <iostream>
using namespace std;

struct card{
	int num;
	int us;
};

int main(){
	int a, b;
	int c;
	card cards[11];
	while(cin >> a >> b >> c){
		for(int i = 1; i <= 10; i++){
			cards[i].num = i;
			cards[i].us = 1;
		}
		int me = a + b;
		cards[a].us = 0;
		cards[b].us = 0;
		cards[c].us = 0;
		int win = 0;
		int lose = 0;
		for(int i = 1; i <= 10; i++){
			if(cards[i].us){
				if(me + i <= 20){
					win++;
				}else{
					lose++;
				}
			}
		}
		if(win >= lose){
			cout << "YES" << endl;
		}else {
			cout << "NO" << endl;
		}
	}
	return 0;
}