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

