#include<stdio.h>
int main()
{
	int A,B,C,flag=0;
	scanf("%d%d%d",&A,&B,&C);
	1<=A<=10;
	1<=B<=10;
	1<=C<=10;
	if(A==5 && B==5 && C==7) flag=1;
	if(A==5 && B==7 && C==5) flag=1;
	if(A==7 && B==5 && C==5) flag=1;
		if(flag==1)
			printf("yes\n");
			else
				printf("no\n");
				return 0;
}

