#include <stdio.h>

int main(void){
	int card[10];
	int c1, c2, c3;
	int need, cnt;

	while(scanf("%d %d %d", &c1, &c2, &c3) != EOF){
		cnt = 0;

		for(int i=0; i<10; i++){
			card[i] = 1;
		}

		card[c1-1] = 0;
		card[c2-1] = 0;
		card[c3-1] = 0;

		need = 20 - (c1+c2);
		for(int i=0; i<10; i++){
			if(i+1 <= need && card[i] == 1){
				cnt++;
			}
		}
		if(cnt / 7.0 >= 0.5){
			printf("YES\n");
		}else{
			printf("NO\n");
		}
	}

	return 0;
}