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

using db = double;
using ll = long long;
using vi = vector <int>;
#define op operator
#define pb push_back

int main() {
	cout << fixed << setprecision(9);
	ios :: sync_with_stdio(0);

	int a, b, c;
	while(cin >> a >> b >> c) {
		int cnt = 0;
		for(int i = 1; i <= 10; i ++)
			if(a + b + i <= 20 && i != a && i != b && i != c)
				cnt ++;
		cout << (cnt >= 4 ? "YES" : "NO") << '\n';
	}

	return 0;
}