#include <iostream>
#include <algorithm>
#include <string>
#include <vector>
#include <set>
#include <map>

using namespace std;

int main()
{
    int C[11];
    int t[3];
    int lim;
    int sum;
    double ans;
    while(cin >> t[0] >> t[1] >> t[2])
    {
        for(int i=1;i<=10;++i) C[i] = 0;
        if(t[0] + t[1] >= 20) cout << "NO" << endl;
        C[t[0]] = 1; C[t[1]] = 1; C[t[2]] = 1;
        lim = 20 - t[0] - t[1];
        sum = min(lim,10);
        for(int i=0;i<3;++i){
            if(lim >= t[i]) --sum;
        }
        ans = (double)(sum)/7.0;
        cout << ans;
        if(ans >= 0.5) cout << "YES" << endl;
        else cout << "NO" << endl;
    }
}