#include<iostream>

using namespace std;

int main(void){
	int c1,c2,c3,sum;	//c1,c2=自分のカード c3=相手のカード
	int i,cnt=0;

	while(cin>>c1>>c2>>c3){
		sum=c1+c2;
		for(i=1;i<=10;i++){
			if(i!=c1 && i!=c2 && i!=c3){
				if(sum+i<=20)	cnt++;
			}
		}
		if(cnt>=4)	cout<<"YES"<<endl;
		else	cout<<"NO"<<endl;
		cnt=0;
	}

	return 0;
}