#include <bits/stdc++.h>

using namespace std;

typedef unsigned long long ull;
#define loop(i,a,b) for(int i=(a);i<ull(b);++i)
#define rep(i,n) loop(i,0,n)
#define all(a) (a).begin(), (a).end()

const double eps = 1e-10;
const double pi  = acos(-1.0);
const double inf = (int)1e8;

int main(){
	int a, b, c;
	while(cin >> a >> b >> c){
		int sum = a + b;
		int ret = 0;
		for(int i=1; i<= 10; i++) if(sum+i <= 20 && c != i && a != i && b != i) ret++;
		if(0.50 <= ret/7.) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
}