int main()
{
    int a,b,c;
    float avg;
    scanf("%d %d %d",&a,&b,&c);
    avg=(a+b+c)/3;
    if(avg>=60)
        printf("NO");
    else
        printf("YES");
}