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

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