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