#include<iostream>
#include<vector>
using namespace std;
int main() {
	vector<bool>l;
	int C1, C2, C3;
	while (cin >> C1 >> C2 >> C3) {
		int sum = 0;
		for (int i = 1; i < 11; i++){
			if (i == C1 || i == C2 || i == C3)continue;
			else if (i + C1 + C2 <= 20)sum++;
		}
		l.push_back(sum >= 4);
	}
	for (bool i : l) {
		if (i)cout << "YES";
		else cout << "NO";
		cout << endl;
	}
}