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