#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\n");
	}
	else if(a==5&&b==7&&c==5)
	{
		printf("YES\n");
	}
	else if(a==7&&b==5&&c==5)
	{
		printf("YES\n");
	}
	else
	{
		printf("NO\n");
	}
	return 0;
}