#include <stdio.h>

int main() {
    int Chinese, Math, English;
    scanf("%d %d %d", &Chinese, &Math, &English);
    int avg = (Chinese + Math + English) / 3;
    if (avg < 60)
        printf("YES");
    else
        printf("NO");
    return 0;
}