#include<iostream>
#include<cstring>
using namespace std;
int a, b, c, x[10], sum;
int main() {
	while (cin >> a >> b >> c) {
		memset(x, 0, sizeof(x));
		x[a] = 1;
		x[b] = 1;
		x[c] = 1; sum = 0;
		for (int i = 1; i <= 20 - (a + b); i++) {
			if (x[i] == 0) { sum++; }
		}
		if (sum > 3) { cout << "YES" << endl; }
		else { cout << "NO" << endl; }
	}
}