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