#include <iostream>
using namespace std;
int main() {
int A, B, C;
cin >> A >> B >> C;
float Avg = (A + B + C)/3.0;
if (Avg < 60) { // 注意 while 处理多个 case
cout << "YES" << endl;
}else{
cout << "NO" << endl;
}
}
// 64 位输出请用 printf("%lld")

京公网安备 11010502036488号