#include <bits/stdc++.h>

using namespace std;

int main() {
    int c[3];
    while (scanf("%d %d %d", &c[0], &c[1], &c[2]) != EOF) {
        int used[11] = {};
        for (int i = 0; i < 3; i++)
            used[c[i]] = 1;
        
        int sum = c[0] + c[1], cnt = 0;
        for (int i = 1; i <= 10; i++)
            if (!used[i] && i + sum <= 20) cnt++;
        
        if (cnt >= 4) puts("YES");
        else puts("NO");
    }

    return 0;
}
