#include <iostream>
using namespace std;
int main( void )
{
	int c1, c2, c3;
	while ( cin >> c1 >> c2 >> c3 )
	{
		int count = 0;
		for ( int i = 1; i <= 10; i++ )
		{
			if ( i == c1 || i == c2 || i == c3 ) continue;
			if ( c1 + c2 + i <= 20 ) count ++;
		}
		if ( (double)count/7 >= 0.5 )
			cout << "YES" << endl;
		else
			cout << "NO" << endl;
	}
	return 0;
}