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