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