#include <bits/stdc++.h>
#define rep(i,a,n) for(int i=a;i<n;i++)
#define repr(i,a,n) for(int i=a;i>=n;i--)
#define INF 999999999
#define INF_M 2147483647
#define pb(a) push_back(a)
using namespace std;
typedef pair<int, int> pii;
typedef long long int ll;
 
int main() {
 	int a,b,c;
 	while(cin >> a >> b >> c) {
 		int cnt = 0;
 		rep(i,1,11) {
 			if(i == a || i == b || i == c) continue;
 			if(a + b + i <= 20) cnt++;
 		}
 		if(cnt / 7.0 >= 0.5) cout << "YES" << endl;
 		else cout << "NO" << endl;
 	}
    return 0;
}