#include <stdio.h>
int main()
{
    int A,B,C,avg;
    scanf("%d %d %d",&A,&B,&C);
    avg=(A+B+C)/3;
    printf((avg<60)?"YES":"NO");
    return 0;
}