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

int main() {
	int c1, c2, c3;
	while (cin >> c1 >> c2 >> c3) {
		bool seen_card[10] = { false };
		seen_card[c1 - 1] = true;
		seen_card[c2 - 1] = true;
		seen_card[c3 - 1] = true;
		int my_point = c1 + c2;
		double be_under_20=0;
		for (int i = 0; i < 10; i++) {
			if (!seen_card[i])
				if (20 - my_point >= i+1)
					be_under_20++;
		}
		if (be_under_20 / 7.0 >= 0.5)cout << "YES" << endl;
		else cout << "NO" << endl;
	}
}
