#include <stdio.h>

int main(void)
{
	int a,b,c;
	int y,n;
	while(scanf("%d %d %d", &a, &b, &c) != EOF){
		y = 0;
		n = 0;
		for(int i = 1; i <= 10; i++){
			if(i == a || i == b || i == c){
				continue;
			}
			if(a + b + i <= 20){
				y++;
			}else{
				n++;
			}
		}
		if(y > n){
			printf("YES\n");
		}else{
			printf("NO\n");
		}
	}
	return 0;
}