#include<cstdio>
#include<math>

using namespace std;

int main(void){
	
	int C[3];
	
	while(scanf("%d %d %d" ,&C[0], &C[1], &C[2]) != EOF){
		int card[16]={0};
		int my;
		int out = 0;
		
		for(int i = 0; i < 3; i++)card[C[i]] = 1;
		
		my = C[0] + C[1];
		
		for(int i = 1; i < 11; i++){
			if(card[i] == 0 && my + i > 20){
				out++;
			}
		}
		
//		printf("%dÂ:%lf\n", out, 1-out/7.0);
		
		if(my <= 10){
			puts("YES");
		}else if(out == 0){
			puts("YES");
		}else{
			printf("%s\n", 1-out/7.0>=0.5?"YES":"NO");
		}
	}
	return 0;
}