#include <stdio.h>

int main() {
    int A,B,C;
    scanf("%d %d %d",&A,&B,&C);
    float Avg =(A+B+C)/3.0;
    if(Avg>=60)
    {
        printf("NO");
    }
    else
    {
        printf("YES");
    }
    return 0;
}