#include <algorithm>
#include <vector>
#include <math.h>
#include <stdio.h>
#include <cctype>
#include <iostream>
#include <set>
#include <string>
#include <queue>
#include <map>
using namespace std;
int size(string x){
	string::size_type size=x.size();
	return size;
}
#define fu(l,k) for(int i=l;i<k;i++)
#define fd(l,k) for(int i=l;i>k;i--)
#define fi first
#define se second
typedef  vector<string> vs;
typedef  vector<int> vi;
double pi(){
	return M_PI;
}
typedef set<int> set_i;
typedef set<string> set_s;
int INF=1000000;
int main(){
	int c1,c2,c3,ssr,sr;
	while(cin>>c1>>c2>>c3){
		ssr=0;
		sr=c1+c2;
		fu(1,11){
			if(i!=c1&&i!=c2&&i!=c3){
				if(sr+i<=20) ssr++;
			}
		}
		if(ssr>=4) cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
	}
}