g#include <iostream>
#include <vector>
#include <set>
using namespace std;

int main() {
    int p, q, r;
    while (cin >> p >> q >> r) {
        set<int> possible;
        for (int i = 1; i <= 10; i++) possible.insert(i);
        possible.erase(p);
        possible.erase(q);
        possible.erase(r);
        int under = 20 - p - q;
        int count = 0;
        for (set<int>::iterator i = possible.begin(); i != possible.end(); i++) {
            if (*i <= under) count++;
        }
        if (count / 7.0 > 0.50) {
            cout << "YES\n";
        } else {
            cout << "NO\n";
        }
    }
    return 0;
}