#include<iostream>

using namespace std;

int main()
{
	int a,i,j;
	int card[4];
	int card2[20]={0};
	int flag=1;
	
	for(i=0;cin >> a;i++)
	{
		if(flag==0)
		{
			i=0;
			flag=1;
		}
		card2[a]=1;
		card[i]=a;
		if(i==2)
		{
			int rest;
			int ans=0;
			rest=20-(card[0]+card[1]);
			
			for(j=rest;j>0;j--)
			{
				if(card2[j]==0 && j<11)
					ans++;
			}
			
			if(ans>4)
				cout << "YES" << endl;
			else
				cout << "NO" << endl;
			for(i=0;i<20;i++)
				card2[i]=0;
			flag=0;
		}
	}
}