#include <iostream>
#include <string>
using namespace std;

int main()
{
	int c1, c2, c3, cnt;
	while (cin>>c1>>c2>>c3)
	{
		int card[] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
		card[c1] = -1;
		card[c2] = -1;
		card[c3] = -1;
		cnt = 0;
		for (int i = 1; i < 11; i++)
		{
			if (card[i] != -1)
			{
				if (c1 + c2 + i <= 20)
				{
					cnt++;
				}
			}
		}
		if (cnt>=4)		// (残りカード7枚) * 0.5
		{
			cout << "YES" << endl;
		}
		else
		{
			cout << "NO" << endl;
		}
	}
	return 0;
}