#include <iostream>
#include <cstdio>
using namespace std;
#define rep2(x,from,to) for(int x = (from); x < (to); ++(x))
#define rep(x,to) rep2(x,0,to)
int main() {
	int a, b, c;
	while(cin >> a >> b >> c) {
		bool f[11];
		rep(i,11) {
			f[i] = 0;
		}
		f[a] = f[b] = f[c] = 1;
		int cnt = 0;
		rep2(i,1,11) {
			if(f[i]) continue;
			rep2(j,1,11) {
				if(i == j || f[j]) continue;
				if(a + b + i <= 20) cnt++;
			}
		}
		if(cnt >= 21) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}