#include <iostream>

using namespace std;

int main()
{
	int c[3];
	
	while ( cin >> c[0] >> c[1] >> c[2] ) {
		bool rest[11];
		for (int i=1; i<=10; i++) rest[i] = true;
		rest[c[0]] = rest[c[1]] = rest[c[2]] = false;
		
		int safe_count = 0;
		for (int i=1; i<=20-c[0]-c[1]; i++) {
			if (rest[i]) safe_count++;
		}
		
		if (safe_count>=4) cout << "YES";
		else cout << "NO";
		cout << endl;
	}
	
	return 0;
}