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

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