#include <stdio.h>

int main() {
    int A, B, C,Avg;
    scanf("%d %d %d",&A,&B,&C);/*这里得注意,是用逗号分隔还是空格分隔,scanf 会严格按照格式字符串中的字符去匹配输入。*/
    Avg=(A+B+C)/3;
    if(Avg<60)
        printf("YES");
    else
        printf("NO");
    return 0;
}