#include<bits/stdc++.h>
using namespace std;
#define endl '\n'

int main(){
	ios_base::sync_with_stdio(0);cin.tie(NULL);
	int i;
	vector<int> V(3);
	for(i=0; i<3; i++){ cin>>V[i]; }
	sort(V.begin(), V.end());
	if(V[2] == 7 && V[1] == 5 && V[0] == 5)
	cout<<"YES"<<endl;
	else
	cout<<"NO"<<endl;
}