#include <iostream>
using namespace std;

#define REP(i, n)       REPEAT(i, 0, n)
#define REPEAT(i, k, n) for (int i = (k); i < (n); ++i)

int main(){
    int a,b,c;
    while(cin >> a>>b>>c){
        int n = 0;
        REPEAT(i,1,11){
            if(i==a || i == b || i == c || a + b + i > 20) continue;
            n++;
        }
        if(n >= 4){ // >=7*0.5
             cout << "YES" << endl;
        } else {
             cout << "NO" << endl;
        }
    }
    return 0;
}