#include <iostream>

using namespace std;

int main() {
	int a, b, c;
	while (cin >> a >> b >> c) {
		int s = 20 - (a + b);
		int d[] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
		for (int i = 0; i < 10; i++) {
			if (d[i] == a || d[i] == b || d[i] == c) {
				d[i] = 100;
			}
		}
		int counter = 0;
		for (int i = 0; i < 10; i++) {
			if (d[i] <= s) {
				counter++;
			}
		}
		if (counter >= 5) {
			cout << "YES" << endl;
		} else {
			cout << "NO" << endl;
		}
	}
	return 0; 
}