#include<cstdio>
#include<algorithm>

using namespace std;
int main(void)
{
	int c1,c2,c3;
	while(scanf("%d%d%d",&c1,&c2,&c3)!= EOF)
	{
		int flag[10] = {0},check = 20;
		double safe = 0;
		check -= c1 + c2;
		flag[c1 - 1] = 1;
		flag[c2 - 1] = 1;
		flag[c3 - 1] = 1;
		for(int i = 0;i < 10;i++)
		{
			if(flag[i] == 0)
			{
				if(i >= check) safe++;
			}
		}
		if(safe/7 <= 0.5) printf("YES\n");
		else printf("NO\n");
	}


	return 0;
}