#include<iostream>
using namespace std;
int max(int a,int b,int c){
	int x=a;
	if(x<b) x=b;
	if(x<c) x=c;
	return x;
}	
int min(int a,int b,int c){
	int n=a;
	if(n>b) n=b;
	if(n>c) n=c;
	return n;
}
int main(){
	int c1;
	int c2;
	int c3;
	double p;
	while(cin>>c1>>c2>>c3){
	int t=20-c1-c2;
	int x=max(c1,c2,c3);
	int n=min(c1,c2,c3);
	int d=c1+c2+c3-x-d;
	if(t>10){ p=1;}
	   	 else if(t>=x){
			       	p=(t-3)/7.0;}
		 else if(t>=d){
			       	p=(t-2)/7.0;}
	     else if(t>=n){
			       p=(t-1)/7.0;}
			       else{
			       p=t/7.0;}

			 if(p>=0.5){
			 	cout<<"YES"<<endl;}
			 	else{
			 	cout<<"NO"<<endl;}
		}
			 return 0;
	}
				
	