#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;
bool card[11]; //カードが使えるか記憶

int main(void) {
    int mine1, mine2, enemy1;
    while(cin >> mine1 >> mine2 >> enemy1) {
        memset(card, true, sizeof(card));
        card[mine1] = card[mine2] = card[enemy1] = false;
        int target = 20 - (mine1 + mine2), count = 0;
        for(int r = 1; r < 11; r++) {
            if(card[r] && r <= target) count++;
        }
        double prob = count / 7.0;
        if(prob >= 0.5) cout << "YES" << endl;
        else            cout << "NO"  << endl;
    }
    return(0);
}