#include <stdio.h>

int main() {
    int a, b,c;
    float m;
   // while (scanf("%d %d", &a, &b) != EOF) { // 注意 while 处理多个 case
        // 64 位输出请用 printf("%lld") to 
   //     printf("%d\n", a + b);
    //}
    scanf("%d %d %d",&a,&b,&c);
    m=(a+b+c)/3.0;
    if(m<60)//注意请家长位YES
    printf("YES");
    else
    printf("NO");
    return 0;
}