#include<stdio.h>
int main()
{
    int grade[3] = {0};
    scanf("%d %d %d",&grade[0],&grade[1],&grade[2]);
    if((grade[0] + grade[1] + grade[2])/3 >= 60)
        printf("NO\n");
    else 
        printf("YES\n");
    return 0;
}