#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<cstring>
using namespace std;
int main()
{
	int a[3],sum=0,sum1=0;
	scanf("%d%d%d",&a[0],&a[1],&a[2]);   
	for(int i=0;i<3;i++)
	{
		if(a[i]==5)
		sum++;
		if(a[i]==7)
		sum1++;
	}
	if(sum==2&&sum1==1)
	printf("YES\n");
	else
	printf("NO\n");
	return 0;	
 } 