#include<stdio.h>
#include <algorithm>
#include <cassert>
#include <cctype>
#include <climits>
#include <cmath>
#include <complex>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <ctime>
#include <iostream>
#include <iterator>
#include <list>
#include <map>     
#include <numeric>
#include <queue>
#include <set>
#include <sstream>
#include <iomanip>
#include <stack>
#include <string>
#include <vector>
using namespace std;
#define ll long long
#define ld long double
#define rep(a,t) for(int a=0;a<t;a++) 
#define forever while(true)
#define Sort(a) sort(a.begin(),a.end())
#define Reverse(a) reverse(a.begin(),a.end())
#define pb push_back
int main()
{
	cin.tie(0);
	ios::sync_with_stdio(false);
	int a[2],b;
	
	while(cin>>a[0]>>a[1]>>b){
	
	bool used[11];	
	rep(i,11){
		used[i]=false;
	}
	used[a[0]]=true;
	used[a[1]]=true;
	used[b]=true;
	int many=0;
	for(int i=1;i<11;i++){
		if(used[i]){continue;}
		if(i+a[0]+a[1]<=20){many++;}
	}
	if(many>3){cout<<"YES"<<endl;}
	else{cout<<"NO"<<endl;}
	}
	return 0;
}
