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

#define rep(i, n) REP(i, 0, n)
#define ALL(v) v.begin(), v.end()
#define MSG(a) cout << #a << " " << a << endl;
#define REP(i, x, n) for (int i = x; i < n; i++)
#define OP(m) cout << m << endl
typedef long long ll;
typedef unsigned long long ull;

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

        for (int i = 1; i <= 10; i++)
        {
            if (i == a || i == b || i == c)
                continue;
            if (a + b + i <= 20)
                cnt++;
        }

        if (cnt >= 4)
        {
            OP("YES");
        }
        else
        {
            OP("NO");
        }
    }
    return 0;
}
