#include <iostream>
#include <cstdio>
#include <vector>
#include <list>
#include <algorithm>
#include <cmath>
#include <stack>
#include <map>
#include <numeric>
using namespace std;

#define REP(i,n) for(int (i)=0; (i)<(n); (i)++)
#define FOR(i,a,b) for(int (i)=(a); (i)<(b); (i)++)
#define PUSH(n,v) for(int i=0; i<(n); i++) {int j; cin >> j; v.push_back(j);}
#define ALL(v) v.begin(), v.end()
#define print(s) cout << (s) << endl

void solve60(int a, int b, int c) {
    int yourhand = a + b;
    vector<int> v;
    FOR(i,1,11) {
        if (i == a || i == b || i == c) {}
        else v.push_back(i);
    }
    int cnt = 0;
    REP(i,7) {
        if (yourhand + v[i] <= 20) cnt++;
    }
    if (cnt / 7.0 >= 0.5) cout << "YES" << endl;
    else cout << "NO" << endl;
}

int main() {
    int C1, C2, C3;
    while (cin >> C1 >> C2 >> C3) {
        solve60(C1, C2, C3);
    }
    return 0;
}