#include <cstdio>

using namespace std;

int main()
{
	int c1,c2,c3;
	
	while(scanf("%d %d %d", &c1, &c2, &c3) != EOF){
		int num[] = {1,2,3,4,5,6,7,8,9,10};
		
		num[c1-1] = num[c2-1] = num[c3-1] = 0;
		
		int sum = 20 - (c1 + c2);
		int card = 0;
		
		for(int i = 0; i < 10; i++){
			if(sum > i && num[i] != 0) card++;
		}
		//printf(" %d %d\n", card, sum);
		
		if(card >= 5) printf("YES\n");
		else printf("NO\n");
	}
	
	return(0);
}