#include<cstdio>
#include<algorithm>
#include<vector>
#include<string>
#include<iostream>
#include<queue>
#include<map>
#include<set>
#include<complex>
#include<stack>
#include<cmath>

using namespace std;

#define reps(i,f,n) for(int i=f;i<int(n);i++)
#define rep(i,n) reps(i,0,n)

int main(){
	int a,b,c;
	while(cin>>a>>b>>c){
		
		int used[11]={0};
		used[a]=1;
		used[b]=1;
		used[c]=1;
		
		int all = 7;
		int okcont = 0;
		
		reps(i,1,11){
			if(used[i]==0 && a+b+i<=20)okcont++;
		}
		
		if((double)okcont/all>=0.5)puts("YES");
		else puts("NO");
	}
}