#include <iostream>
using namespace std;

int main(){
    int c[3];

    while(cin >> c[0] >> c[1] >> c[2]){
        int sum = c[0] + c[1];
        int safe = 0;
        for(int i=1; i<=10; ++i){
            if(i==c[0]||i==c[1]||i==c[2]) continue;
            if((sum + i) <= 20) ++safe;
        }
        cout << ((safe/7.0 >= 0.5)?"YES":"NO") << endl;
    }
    return 0;
}