#include <stdio.h>
int main()
{
	int a = 0, b = 0, c = 0;
	int average = 0;
	scanf("%d %d %d", &a, &b, &c);
	average = (a + b + c) / 3;
	if (average >= 60)
	{
		printf("NO\n");
	}
	else
		printf("YES\n");
	return 0;
}