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