// 2011/05/04 Tazoe

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

int main()
{
	while(!cin.eof()){
		string str;
		getline(cin, str);
		if(str.empty())
			continue;

		istringstream ist(str);
		int C1, C2, C3;
		ist >> C1 >> C2 >> C3;

		int cnt = 0;
		for(int i=1; i<=10; i++){
			if(i==C1||i==C2||i==C3)
				continue;
			if(C1+C2+i<=20)
				cnt++;
		}

		if(cnt>=4)
			cout << "YES" << endl;
		else
			cout << "NO" << endl;
	}

	return 0;
}