#include<iostream>
using namespace std;
int main(){
	int a,b,c;
	while(cin >>a>>b>>c){
		bool card[11] = {0};
		double sum = 0;
		card[a] = card[b] = card[c] = true;
		for(int i=1;i<11;i++){
			if(a+b+i < 20 && !card[i]){sum++;}
		}
		if(sum/7 >= 0.5){cout <<"YES"<<endl;}
		else{cout <<"NO"<<endl;}
	}
	return 0;
}