#include <iostream>
#include <sstream>
#include <iomanip>
#include <algorithm>
#include <cmath>
#include <string>
#include <vector>
#include <list>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <bitset>
#include <numeric>
#include <climits>
#include <cfloat>
using namespace std;

int main()
{
    for(;;){
        int c1, c2, c3;
        if(!(cin >> c1 >> c2 >> c3))
            return 0;

        vector<bool> check(11, false);
        check[c1] = check[c2] = check[c3] = true;
        int num = 0;
        for(int i=1; i<=10; ++i){
            if(check[i])
                continue;
            if(c1 + c2 + i <= 20)
                ++ num;
        }

        if(num * 2 / 7 >= 1)
            cout << "YES" << endl;
        else
            cout << "NO" << endl;
    }
}