#include <iostream>
#include <complex>
#include <cmath>
#include <cstdio>
#include <string>
#include <sstream>

using namespace std;

int main() {
    int c1,c2,c3;
    while(cin >> c1 >> c2 >> c3) {
        int card[11] = {0, 1, 1, 1, 1, 1, 1, 1, 1, 1};
        card[c1]--;
        card[c2]--;
        card[c3]--;
        int ok = 0;
        for (int i = 1; i <= 10; i++) {
            if (card[i] == 0)continue;
            if (c1+c2+i <= 20)ok++;
        }
        if (ok >= 4)cout << "YES" << endl;
        else cout << "NO" << endl;
    }
    return 0;
}