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

int main()
{
	int a, b, c;
	bool used[10];

	while( std::cin >> a >> b >> c )
	{
		memset( used, false, sizeof( used ) );

		used[a-1] = used[b-1] = used[c-1] = true;

		double p = 0.0;

		for( int i = 0; i < 10; i++ )
		{
			if( !used[i] )
			{
				if( a + b + i + 1 <= 20 )
					p++;
			}
		}

		p /= 7.0;

		if( p >= 0.5 )
			std::cout << "YES" << std::endl;
		else
			std::cout << "NO" << std::endl;
	}

	return 0;
}