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

string solve(int c1, int c2, int c3){
	int bunbo = 7;	// not 6. if6 -> (in)8 9 10 (out)YES.
	int mysum = c1 + c2;
	int okCount = 0;
	double kakuritu;
	for (int i = 1; i <= 10; i++){
		if (i == c1 || i == c2 || i == c3)	continue;
		else{
			if (mysum + i <= 20)	okCount++;
		}
	}
	kakuritu = (double)okCount / bunbo * 100.0;
	if (kakuritu >= 50.0)	return "YES";
	else return "NO";
}

int main(){
	int c1, c2, c3;
	while (cin >> c1 >> c2 >> c3, !cin.eof()){
		cout << solve(c1,c2,c3) << endl;
	}

	return 0;
}