#include<stdio.h>
int main()
{
	int m, c, e, average=0;
	while (scanf("%d %d %d", &m, &c, &e) != EOF)
	{
		average = (m + c + e) / 3;
		// if (average >= 60)
		// 	printf("NO\n");
		// else
		// 	printf("YES\n");
        average>=60?printf("NO\n"):	printf("YES\n");

	}

	return 0;
}