#include<stdio.h>
int main()
{
	int A,B,C;
	scanf("%d%d%d",&A,&B,&C);
	if(A=5,B=5,C=7)
	printf("YES");
	if(A=5,B=7,C=5)
	printf("YES");
	if(A=7,B=5,C=5)
	printf("YES");
	else
	printf("NO");
	return 0;
} 