#include <iostream>

using namespace std;

void solve()
{
	int c[3];
	while(cin >> c[0] >> c[1] >> c[2])
	{
		bool flag[11];
		for(int i = 0; i < 11; ++i)
		{
			flag[i] = true;
		}
		for(int i = 0; i < 3; ++i)
		{
			flag[c[i]] = false;
		}
		int sum = c[0] + c[1];
		int count = 0;
		for(int i = 1; i < 11; ++i)
		{
			if(flag[i] == true && sum + i <= 20)
			{
				++count;
			}
		}
		if(count / 7.0 >= 0.5)
		{
			cout << "YES" << endl;
		}
		else
		{
			cout << "NO" << endl;
		}
	}
}

int main()
{
	solve();
	return(0);
}