#include<iostream>
using namespace std;
int main() {
	int c1, c2, c3;
	while (cin >> c1 >> c2 >> c3){
		int sum = 0;
		for (int i = 1; i < 10; i++){
			if (i == c1 || i == c2 || i == c3)
				continue;
			else if (c1 + c2 + c3 <= 20){
				sum++;
			}
		}
		if (sum >= 4)
			cout << "YES";
		else cout << "NO";
		cout << endl;
	}
}