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

int c1, c2, c3;

bool cards[11];

void solve() {
	memset(cards, false, sizeof cards);
	cards[c1] = cards[c2] = cards[c3] = true;
	
	int able_num = 20 - (c1 + c2);
	int count = 0;
	for (int i = 1; i < 11; i++) {
		if (cards[i]) continue;

		if (able_num >= i) {
			count++;
		}
	}
	if (count >= 4) {
		cout<<"YES";
	} else {
		cout<<"NO";
	}
	cout<<endl;
}

int main(int argc, const char *argv[]) {
	while (cin>>c1>>c2>>c3) {
		solve();
	}
	return 0;
}