#include <iostream>
using namespace std;

int main() {
    int c[3];
    while (cin >> c[0] >> c[1] >> c[2]) {
        int under20 = 0;
        int sum = c[0] + c[1];
        for (int i = 1; i <= 10; i++) {
            if (i != c[0] && i != c[1] && i != c[2] && sum + i <= 20) {
                under20++;
            }
        }
        if (under20 > 3.5) {
            cout << "YES" << endl;
        } else {
            cout << "NO" << endl;
        }
    }
}