#include<iostream>
#include<vector>
int main()
{
	while (true)
	{
		int c1, c2, c3;
		std::cin >> c1 >> c2 >> c3;
		if (std::cin.eof())
		{
			break;
		}
		std::vector<int>remains;
		remains.reserve(7);
		for (int i = 1; i <= 10; i++)
		{
			if (i != c1 && i != c2 && i != c3)
			{
				remains.push_back(i);
			}
		}
		std::cout << (c1 + c2 + remains[3] <= 20 ? "YES" : "NO") << std::endl;
	}
	return 0;
}
