#include <iostream>
#include <string.h>

#define REP(i,k,n) for(int i=k;i<n;i++)
#define rep(i,n) for(int i=0;i<n;i++)

using namespace std;

int main()
{
	int a,b,c;
	int flag[11];
	while(cin >> a >> b >> c)
	{
		memset(flag,0,sizeof(flag));

		flag[a] = 1;
		flag[b] = 1;
		flag[c] = 1;

		int count = 0;
		REP(i,1,11)
		{
			if(flag[i] == 0 && a+b+i <= 20)
			{
				count++;
			}
		}

		if(count/7.0 >= 0.5)
		{
			cout << "YES" << endl;
		}
		else
		{
			cout << "NO" << endl;
		}
	}
	return 0;
}