#include<iostream>
#include<map>

using namespace std;

int main(void)
{
	while(1)
	{
		map<int,int> card;
		for(int i=1;i<10;i++)card[i]=0;
		int a,b,c;
		cin>>a>>b>>c;
		if(cin.eof())break;
		card[a]=1;
		card[b]=1;
		card[c]=1;
		int n=a+b;
		int d=0;
		int e=0;
		for(int i=1;i<=10;i++)
		{
			if(card[i]!=1)
			{
				d++;
				if(n+i<=20)
				{
					e++;
				}
			}
		}
		if((double)e/(double)d>=0.5)
		{
			cout<<"YES"<<endl;
		}
		else
		{
			cout<<"NO"<<endl;
		}
	}
}