#include<iostream.h>
void main()
{
	int a,b,c;
	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;
}