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