#include <iostream>

using namespace std;

int main() {
	int c1, c2, c3;
	while (cin >> c1 >> c2 >> c3) {
		int u20 = 0;
		for (int i = 1; i <= 10; i++) {
			if (i == c1 || i == c2 || i == c3)
				continue;
			if (c1 + c2 + i <= 20)
				u20++;
		}
		if (u20 >= 4)
			cout << "YES" << endl;
		else
			cout << "NO" << endl;
	}
	return 0;
}