#include<iostream>
using namespace std;

int main(){
	int dt[11];
	int m1,m2,y1,yu;
	while(cin>>m1){
		cin>>m2>>y1;
		for(int i=0;i<11;i++){
			dt[i]=0;
		}
		dt[m1]=1;
		dt[m2]=1;
		dt[y1]=1;
		int num=0;
		int unn=0;
		for(int i=1;i<11;i++){
			if(dt[i]==0){
				dt[i]=2;
				for(int j=1;j<11;j++){
					if(dt[j]==0){
						if((j+m1+m2)<=20)num++;
						else unn++;
					}
				}
			}
		}
		if(num>=unn)cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
	}
	return 0;
}