#include <iostream>
using namespace std;

int func(int c1, int c2, int c3){
	bool b[10];
	int c = c1 + c2, i, ans = 0;
	fill(b, b+10, false);
	for(i = 1;i < 10;i++)if(i+c <= 20)b[i] = true;
	b[c1] = b[c2] = b[c3] = false;
	for(i = 0;i < 10;i++)if(b[i])ans++;
	return ans*100/7;
}

int main(){
	int c1, c2, c3;
	while(cin >> c1 >> c2 >> c3){
		if(func(c1, c2, c3) >= 50)cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}