#include<iostream>
#include<string>
#include<vector>
#include<cstdio>
#include<sstream>
#include<algorithm>
#include<cmath>
#include<map>
#include<functional>
#include<queue>
#include<stack>
#include<set>
using namespace std;

int main(){
	int a,b,c;
	while(cin>>a>>b>>c){
	int x=0,z=0;//x?????¨??????????????????z??????????????????20????¶???????????????????
		for(int i=1;i<=10;i++){
			if(i==a||i==b||i==c)continue;
			if(a+b+i<=20)z++;
			x++;
		}
		double p=(double)z/(double)x;
		//cout<<p<<" "<<x<<" "<<z<<endl;
		if(p>=0.5)cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
	}

}