#include <iostream>

using namespace std;

int main()
{
	int c[3];

	while(cin >> c[0] >> c[1] >> c[2])
	{
		int card[11] = {0}, cont = 0;
		card[c[0]] = 1;
		card[c[1]] = 1;
		card[c[2]] = 1;

		for(int i=1; i<11; i++)
		{
			if(!(card[i])){
				if(c[0] + c[1] + i <= 20){
					cont++;
				}
			}
		}

		if(cont >= 4)	cout << "YES" << endl;
		else			cout << "NO"  << endl;
	}

	return 0;
}