#include <iostream>
#include <iomanip>
#include <vector>
#include <string>
#include <stack>
#include <queue>
#include <deque>
#include <set>
#include <map>
#include <algorithm>
#include <sstream>
#include <cstdlib>
#include <cstring>
#include <functional>
#include <numeric>
#include <cmath>
#include <climits>
#include <limits>
#include <cfloat>
#include <fstream>
using namespace std;

int main()
{
//	cut here before submit 
//	freopen("testcase.card", "r", stdin);
	string str = "";
	while (getline (cin, str ) ){
		if (str.empty() ){
			break;
		} // end if
		vector <bool> used (11, false );
		int C1, C2, C3;
		stringstream ss(str);
		ss >> C1 >> C2 >> C3;
		int sum = C1 + C2;
		used[C1] = used[C2] = used[C3] = true;
		int enable = 0;
		int all = 0;
		int i;

		for (i = 1; i <= 10; ++i){
			if (!used[i]){
				++all;
				if (sum + i <= 20){
					++enable;
				} // end if
			} // end if
		} // end for
		double prob = (double)enable/(double)all*100.;
		if (prob >= 50.){
			cout << "YES" << endl;
		}else{
			cout << "NO" << endl;
		} // end if
	} // end loop
		
	return 0;
}