//0060

#include<stdio.h>
int main(void)
{
	const int N = 10 + 1;
	int my1, my2, enemy1;
	int i, s;
	while( scanf("%d %d %d", &my1, &my2, &enemy1) == 3)
	{
		bool isUsed[N] = {false};
		isUsed[my1] = isUsed[my2] = isUsed[enemy1] = true;
		s = my1+my2;
		int count = 0;
		for(i = 1; i < N; i++)
		{
			if(!isUsed[i] && s+i <= 20)
			{
				count++;
			}
		}
		//©¦ÄÈ¢ÌÍSÅ7ÈÌÅA4Â Á½ç50ð´¦é
		puts( count>=4 ? "YES" : "NO");
	}
	return 0;
}