#include<iostream>
#include<vector>
using namespace std;

int main() {
	int a, b, c;
	while (cin >> a >> b >> c) {
		int ans = 0;
		vector<int>nok;
		for (int i = 1;i <= 10;i++) {
			if (i != a&&i != b&&i != c)nok.push_back(i);
		}
		for (int i = 0;i < 7;i++) {
			if (a + b + nok[i] <= 20)ans++;
		}
		if (ans >= 4)cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}