#include <iostream>
#include <sstream>
#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <cstring>
#include <string>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <algorithm>
#include <functional>

using namespace std;

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

	while ( cin >> c1 >> c2 >> c3 )
	{
		set<int> drawed;
		drawed.insert( c1 );
		drawed.insert( c2 );
		drawed.insert( c3 );

		int sum = c1 + c2, total = 0, count = 0;

		for ( int i = 1; i <= 10; i++ )
		{
			if ( drawed.find( i ) == drawed.end() )
			{
				total++;

				if ( sum + i <= 20 )
				{
					count++;
				}
			}
		}

		cout << ( 0.5 <= count / (double)total ? "YES" : "NO" ) << endl;
	}

	return 0;
}