#include <bits/stdc++.h>

using namespace std;

int main()
{
    int c1, c2, c3;
    while (cin >> c1 >> c2 >> c3) {
        vector<int> cards(10);
        for (int i = 0; i < 10; i++) {
            cards[i] = i + 1;
            if (c1 == cards[i] || c2 == cards[i] || c3 == cards[i]) {
                cards[i] = 0;
            }
        }

        int cnt = 0, tc = c1 + c2;
        for (int i = 0; i < 10; i++) {
            if (cards[i] == 0) continue;
            if (cards[i] + tc <= 20) {
                cnt++;
            }
        }
        cout << (cnt >= 4 ? "YES" : "NO") << endl;
    }
    return 0;
}