#include<iostream>
#include<cstdio>
#include<bitset>
#include<algorithm>
using namespace std;


int main(){
	int a[3];
	bitset<11> cards;
	while(cin>>a[0]>>a[1]>>a[2]){
		cards.set(0);
		int sum=a[0]+a[1];
		int ans=0;
		cards[a[0]]=1;
		cards[a[1]]=1;
		cards[a[2]]=1;
		for(int i=0;i<11;i++){
			if(sum+i<20&&sum+i>a[2]){
				ans++;
			}
		}
		if(ans*2>7){
			cout<<"YES"<<endl;
		}else{
			cout<<"NO"<<endl;
		}
	}
}