int main()
{
	int arr[3] = { 0 };
	int sum = 0;

	for (int a = 0; a < 3; a++)
	{
		scanf("%d", &arr[a]);
		sum += arr[a];
	}

	sum /= 3;
	if (sum >= 60)
	{
		printf("NO\n");
	}
	else
	{
		printf("YES\n");
	}
	return 0;
}