#include <iostream>

using namespace std;

int main()
{
	int c1, c2, c3;

	while (cin >> c1 >> c2 >> c3)
	{
		if (c1 + c2 + (55 - c1 - c2 - c3) / 7.0 <= 20)
		{
			cout << "YES" << endl;
		}
		else
		{
			cout << "NO" << endl;
		}
	}

	return 0;
}