#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

#define repi(i,a,b) for(int i=int(a);i<int(b);i++)
#define rep(i,n) repi(i,0,n)
#define allof(a) (a).begin(),(a).end()

typedef vector<int> vi;

int main()
{
	for(int a,b,c;cin>>a>>b>>c;){
		vi cards;
		repi(i,1,10+1)
			if(i!=a && i!=b && i!=c)
				cards.push_back(i);
		int i=distance(cards.begin(),upper_bound(allof(cards),20-a-b));
		if(i>=4)
			cout<<"YES"<<endl;
		else
			cout<<"NO"<<endl;
	}
	
	return 0;
}