#include <iostream>
#include <algorithm>
using namespace std;

int main(){
    int a, b, c;
    while( cin >> a >> b >> c ){
        int n[11], m = 0;
        fill( n, n + 11, 1 );
        n[a] = n[b] = n[c] = 0;
        for(int i = 1; i < 11; i++){
            if( n[i] && a+b+i <= 20 ) m++;
        }
        if( m >= 4 ) cout << "YES" << endl;
        else cout << "NO" << endl;
    }
    return 0;
}