#include<iostream>
using namespace std;
int main() {
	int card[3];
	int low;
	int high;
	while (cin >> card[0] >> card[1] >> card[2]) {
		low = 0;
		low = 20 - card[0] - card[1];
		high = 10 - low;
		for (int i = 0; i < 3; ++i) {
			if (20 - card[0] - card[1] < card[i])
				--high;
			else --low;
		}
		if (low <high)cout << "NO" << endl;
		else cout << "YES" << endl;
	}
	return 0;
}