#include <iostream>
using namespace std;

int main(void)
{
	int c1, c2, c3;
	int my_cards;
	int ok = 0;
	int cnt = 0;
	double probability;
	
	while (1)
	{
		ok = 0;
		cnt = 0;
		cin >> c1 >> c2 >> c3;
		my_cards = c1 + c2;

		for (int i = 1; i <= 10; i++)
		{
			//c1,2,c3??¨?¢??????´???????????????
			if (i == c1 || i == c2 || i == c3)
			{
				continue;
			}

			if (my_cards + i <= 20)
			{
				ok++;
			}
			cnt++;
		}
		probability = (double)ok / cnt;

		if (probability >= 0.5)
		{
			cout << "YES\n";
		}
		else
		{
			cout << "NO\n";
		}
	}

	return 0;
}