int main() { int a = 0; int b = 0; int c = 0; scanf("%d %d %d",&a,&b,&c); int sum = (a+b+c) / 3; printf("%s",sum>=60?"NO":"YES"); return 0; }