#include <iostream>
using namespace std;

int main()
{
	int a,b,c;
	while(cin>>a>>b>>c)
	{
		if(a==5&&b==5&&c==7)
	{
		cout<<"YES"<<endl;
	}
	else if(a==5&&b==7&&c==5)
	{
		cout<<"YES"<<endl;
	 } 
	 else if(a==7&&b==5&&c==5)
	 {
	 	cout<<"YES"<<endl;
	 }
	 else 
	 {
	 	cout<<"NO"<<endl;
	 }
	}
   return 0;
 } 