#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <cmath>
#include <cstdio>
#include <functional>
#include <numeric>
#include <stack>
#include <queue>
#include <map>
#include <set>
#include <utility>
#include <sstream>
#include <complex>

using namespace std;

#define FOR(i,a,b) for(long long i=(a);i<(b);i++)
#define REP(i,N) for(long long i=0;i<(N);i++)
#define ALL(s) (s).begin(),(s).end()
#define fi first
#define se second

#define PI acos(-1.0)
#define INF 1000000007

typedef long long ll;
typedef pair<ll, ll> P;
typedef pair<double, double> PD;
typedef pair<string, ll> PS;
typedef vector<ll> V;

int c1, c2, c3;
double si;

int main(){
	while (cin >> c1 >> c2 >> c3){
		si = 0;
		for (int i = 1; i <= 10; i++){
			if (i == c1 || i == c2 || i == c3)continue;
			if (i <= 20 - c1 - c2)si++;
		}
		if (si / 7 >= 0.5)cout << "YES\n";
		else cout << "NO\n";
	}
}