#include <stdio.h>
int main() 
{
    int a=0,b=0,c=0,sum=0;
    scanf("%d %d %d",&a,&b,&c);//输入三科成绩
    sum=a+b+c;//总和
    if(sum/3<60)//判断平均值是否大于60
    printf("YES");
    else
    printf("NO");
}