#include <stdio.h>
#include <cmath>
#include <algorithm>

int main(){
	int a,b,c,checkTable[11],rest,count;
	while(scanf("%d %d %d",&a,&b,&c)!=EOF){
		for(int i=0; i < 11; i++)checkTable[i] = 0;
		count = 0;
		checkTable[a] = 1;
		checkTable[b] = 1;
		checkTable[c] = 1;
		if(a+b >= 20){
			printf("NO\n");
		}else{
			rest = 20 -(a+b);
			for(int i=1; i <= rest; i++){
				if(checkTable[i] == 0)count++;
			}
			if(count >= 4)printf("YES\n");
			else{
				printf("NO\n");
			}
		}

	}

	return 0;
}