#include <stdio.h>

int main() {
    int A,B,C;
    scanf("%d%d%d",&A,&B,&C);
    float Avg=(1.0*((A+B+C)/3));
    if(Avg<60)printf("YES\n");
    else printf("NO\n");
    return 0;
}