#include <iostream>
#include <string.h>

using namespace std;
bool card[11];

void solve()
{
	int c1, c2, c3;
	while(cin >> c1 >> c2 >> c3)
	{
		memset(card, 1, sizeof(card));
		card[c1] = false;
		card[c2] = false;
		card[c3] = false;
		int ok_count = 0;
		for(int i = 1; i < 11; ++i)
		{
			if(card[i] && (c1 + c2 + i < 21))
			{
				++ok_count;
			}
		}
		if(ok_count >= 4)
		{
			cout << "YES" << endl;
		}
		else
		{
			cout << "NO" << endl;
		}
	}
}

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