#include <bits/stdc++.h>
#define rep(i,l,n) for(int i=l;i<n;i++)
#define rer(i,l,n) for(int i=l;i<=n;i++)
#define all(a) a.begin(),a.end()
#define o(a) cout<<a<<endl
#define pb(a) push_back(a)
#define mk(a,b) make_pair(a,b)
#define fi first
#define se second
using namespace std;
typedef long long ll;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef pair<int,int> pii;

int main(){
	int c1,c2,c3;
	while(cin>>c1>>c2>>c3){
		int ct=0;
		rep(i,1,11){
			if(i==c1 || i==c2 || i==c3) continue;
			if(c1+c2+i<=20) ct++;
		}
		o((ct>=4?"YES":"NO"));
	}
}