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