#include <stdio.h>

int main() {
    int a;
    int sum=0;
    while (scanf("%d ", &a) != EOF) { 
        sum+=a;
        }
        if(sum/3>=60)
        {
            printf("NO");
        }
        else {
            printf("YES");
    }
    return 0;
}