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

京公网安备 11010502036488号