#include <stdio.h>
void test()
{
float c = 0;
float e = 0;
float m = 0;
scanf("%f %f %f", &c, &e, &m);
float ret = (c + e + m) / 3.0;
if (ret >= 60)
printf("NO\n");
else
printf("YES\n");
}
int main()
{
test();
return 0;
}

#include <stdio.h>
void test()
{
float c = 0;
float e = 0;
float m = 0;
scanf("%f %f %f", &c, &e, &m);
float ret = (c + e + m) / 3.0;
if (ret >= 60)
printf("NO\n");
else
printf("YES\n");
}
int main()
{
test();
return 0;
}