#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")