#include <bits/stdc++.h>
using namespace std;

int a, b, c, t;

int main()
{
    while (cin >> a >> b >> c) {
        t = 0;

        for (int i = 1; i <= 10; i++)
            if (i != a && i != b && i != c && a + b + i < 21)
                t++;

        if (t > 3)
            cout << "YES" << endl;
        else
            cout << "NO" << endl;
    }
}

