#include <iostream>
using namespace std;

int main()
{
	int a,b,c,x;
	while(cin >> a >> b >> c)
	{
		x=0;
		for(int i=1; i<=10; i++)
		{
			if(i==a || i==b || i==c) continue;
			if(a+b+i<=20) x++;
		}
		cout << (x>3?"YES":"NO") << endl; 
	}
}