#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;
}

#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;
}