#include<stdio.h>
#include<string.h>
#include<math.h>

int main(){
	int c1,c2,c3,c,i;
	
	while(~scanf("%d%d%d",&c1,&c2,&c3)){
		c=0;
		
		for(i=1;i<=10;i++){
			if(i!=c1 && i!=c2 && i!=c3 && i+c1+c2<21)++c;
		}
		if(c>3){
			printf("YES\n");
		}else{
			printf("NO\n");
		}
	}
	return 0;
}