#include<stdio.h>
int main() {
    float a, b, c, ave;
    scanf("%f %f %f", &a, &b, &c);
    ave = (a + b + c) / 3;
    if (ave >= 60) printf("NO");
    else printf("YES");
    return 0;
}