#include <bits/stdc++.h>
using namespace std;
int main(void) {
    double count=0;
    double c1,c2,c3;
    while (cin>>c1>>c2>>c3) {
        for (int j=1;j<11;j++) {
            if (j==c1 || j==c2 || j==c3) {
                continue;
            } else {
                if (c1+c2+j<=20) {
                    count++;
                }
            }
        }
        double result=count/7;
        if (result>=0.5) {
            cout<<"YES"<<endl;
        } else {
            cout<<"NO"<<endl;
        }
        count=0;
    }
}
