#include <iostream>
using namespace std;

int main()
{
	int a, b, c;
	while (cin >> a >> b >> c)
	{
		int sum = a + b;
		int count = 0;
		for (int i = 1; i <= 10; i++)
		{
			if (i != a && i != b && i != c && sum + i <= 20) count++;
		}
		if (count >= 4) cout << "YES" << endl;
		else cout << "NO" << endl;
	}

	return 0;
}