#include <iostream>
using namespace std;

bool card[10];
void init(){
	for(int i=0;i<10;i++){
		card[i]=true;
	}
}
int main()
{
	int a,b,c;
	while(cin >> a >> b >> c){
		init();
		card[a-1] = false;
		card[b-1] = false;
		card[c-1] = false;
		int count = 0;
		for(int i=0;i<10;i++){
			if(card[i]==true){
				if(a+b+i+1 <= 20){
					count++;
				}
			}
		}
		if(count>=4)
			cout << "YES" << endl;
		else
			cout << "NO" << endl;
	}
	return 0;
}