#include <iostream>
using namespace std;

int main() {
    int A,B,C;
    cin>>A>>B>>C;
    double Avg=(A+B+C)/3;
    if (Avg >=60) {
        cout<<"NO";
    }else {
        cout<<"YES";
    }
    return 0;
}
// 64 位输出请用 printf("%lld")