#include <iostream>
#include <string>
#include <vector>
using namespace std;

int main() {
    int C1, C2, C3;
    while (cin >> C1 >> C2 >> C3) {
        int cnt = 0;
        for (int i=1; i<=9; ++i) {
            if (i == C1 || i == C2 || i == C3) continue;
            if (C1 + C2 + i <= 20) cnt ++;
        }
        if (7 < 2 * cnt) {
            cout << "YES" << endl;
        } else {
            cout << "NO" << endl;
        }
    }
    return 0;
}