#include <iostream>
using namespace std;

int main()
{
	int c1, c2, c3;
	while (cin >> c1 >> c2 >> c3)
	{
		int count = 0;
		for (int i = 1; i <= 10; i++)
		{
			if (c2 + c1 + i <= 20 && i != c1 && i != c2 && i != c3) count++;
		}
		if (count >= 4) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}
