#include <iostream>
using namespace std;
int main()
{	
	int a,b,c;
	while(cin>>a>>b>>c)
	{
		bool card[11]={0};
		card[a]=card[b]=card[c]=true;

		int sum=0;
		for(int i=1;i<=10;i++)
			if(!card[i] && i<=20-a-b) sum++;
		if(2*sum>=7) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
}