#include <iostream>
#include <iomanip>
#include <cstdio>
#include <vector>
#include <map>
#include <cmath>
#include <algorithm>
#include <string>
#define shosu(x) fixed<<setprecision(x)
using namespace std;
typedef pair<int,int> P;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef pair<int,P> pip;
typedef long long ll;
const int inf=1<<30;
const double pi=acos(-1);

vi n(3);

int main(){
	while(cin>>n[0]>>n[1]>>n[2]){
		int num=20-n[0]-n[1],tmp=0;
		for(int i=0;i<3;i++){
			if(n[i]<=num) tmp++;
		}
		num-=tmp;
		if(num>=4) cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
	}
}