#include <iostream>
#include <utility>
#include <algorithm>
#include <string>
#include <vector>
#include <cstdio>
#include <cmath>

typedef long long int ll;


using namespace std;

int main(){
	int c1,c2,c3;
	while(cin>>c1>>c2>>c3){
		vector<int> a(11,1);
		a[c1]=0;
		a[c2]=0;
		a[c3]=0;
		int cnt=0;
		for(int i=1; i<11; i++){
			if(a[i]&&c1+c2+i<=20){
				cnt++;
			}
		}
		//cout<<cnt<<endl;
		if(cnt>=4)cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
	}
}