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

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