#include <stdio.h>
#include <stdlib.h>

int	cmp_num(const void *n1, const void *n2);	

int	main(void)
{
	int	a[3];

	scanf("%d %d %d", &a[0], &a[1], &a[2]);
	qsort(a, 3, sizeof(int), cmp_num);
	if (a[0] == 5 && a[1] == 5 && a[2] == 7)
	{
		puts("YES");
	}
	else
	{
		puts("NO");
	}
}

int	cmp_num(const void *n1, const void *n2)
{
	if (*(int *)n1 > *(int *)n2)
	{
		return (1);
	}
	else if (*(int *)n1 < *(int *)n2)
	{
		return (-1);
	}
	else
	{
		return (0);
	}
}