#include<iostream>
using namespace std;
int main()
{
	int a,A=2,B=1;
	for(int i=3;i>0;i--)
	{
		cin>>a;
		if(a==5)
		A--;
		if(a==7)
		B--;
	}
	if(A==0&&B==0)
	cout<<"YES"<<endl;
	else
	cout<<"NO"<<endl;
}