#include <iostream>

using namespace std;

int main()
{
    int m1, m2, o1;

    while (cin >> m1 >> m2 >> o1) {
        bool card[11];
        int sum = m1 + m2;
        int min_c, max_c;


        min_c = max_c = 0;
        for (int i = 1; i <= 10; i++)
            card[i] = false;
        card[m1] = card[m2] = card[o1] = true;

        for (int i = 1; i <= 10; i++) {
            if (!card[i] && i + sum <= 20)
                min_c++;
            else if (!card[i] && i + sum > 20)
                max_c++;
        }

        if ((double)min_c++ / (max_c + min_c) >= 0.5)
            cout << "YES" << endl;
        else
            cout << "NO" << endl;
    }

    return 0;
}