#include<stdio.h>
#include<iostream>
#include<list>
#include<map>
#include<vector>
#include<algorithm>
#include<string.h>
#define range(i,a,b) for(int i = (a); i < (b); i++)
#define rep(i,b) range(i,0,b)
#define debug(x) cout << x << endl;
using namespace std;

int main(){
    int c1, c2, c3;
    bool deck[11];
    while(cin >> c1 >> c2 >> c3){
        int count = 0;
        rep(i,11){
            if(i + c1 + c2 <= 20)
                deck[i] = true;
            else
                deck[i] = false;
        }
        deck[0] = false;
        deck[c1] = false;
        deck[c2] = false;
        deck[c3] = false;
        rep(i,11)
            if(deck[i] == true) count++;
        if(count / 7.0 >= 0.5)
            cout << "YES" << endl;
        else
            cout << "NO" << endl;
    }
}