#include<stdio.h>
main(){
	int a,b,c;
	scanf("%d%d%d",&a,&b,&c);
	if((a+b+c)==(5+5+7)&&(a*b*c)==(5*7*5)){
		printf("YES\n");
		printf("Using three phrases of length %d, %d and %d, it is possible to construct a Haiku.\n",a,b,c);
	}
	else{
		printf("NO\n");
	}
	return 0;
}