#include <stdio.h>
void test()
{
	float c = 0;
	float e = 0;
	float m = 0;
	scanf("%f %f %f", &c, &e, &m); 
	float ret = (c + e + m) / 3.0;
	if (ret >= 60)
		printf("NO\n");
	else
		printf("YES\n");
}

int main()
{
	test(); 
	return 0; 
}