#include<iostream>
#include<string>
using namespace std;
int main(){
	int c[3];
	while(cin>>c[0]>>c[1]>>c[2]){
		int a[10],count=0;
		for(int i=0;i<10;i++)
			a[i]=1;
		a[c[0]-1]=0;
		a[c[1]-1]=0;
		a[c[2]-1]=0;
		for(int i=0;i<10;i++){
			if(c[0]+c[1]+i+1>20){
				a[i]=0;
			}
			count+=a[i];
		}
		if(count>3.5)
			cout<<"YES"<<endl;
		else
			cout<<"NO"<<endl;
	}
	return 0;
}