#include<bits/stdc++.h>
#define rep(i,n)for(ll i=0;i<n;i++)
using namespace std;
typedef long long ll;

int main() {
	int a, b, c;
	while (cin >> a >> b >> c) {
		int want = 20 - a - b;
		int cnt = min(10, want);
		if (a <= want)cnt--; if (b <= want)cnt--; if (c <= want)cnt--;
		if (want > 0 && cnt >= 4)puts("YES");
		else puts("NO");
	}
	return 0;
}