#include<stdio.h>

int main(void)
{
	int a,b,c,i,j,x;

	while(scanf("%d %d %d",&a,&b,&c)!=EOF){
		x=20-a-b;
		j=0;
		for(i=1;i<11;i++){
			if(i != a && i != b && i != c){
			   if(i <= x)
				   j++;
			}
		}
		if(j>3)
			printf("YES\n");
		else
		    printf("NO\n");
	}
  return 0;
}