#include<bits/stdc++.h>

using namespace std;


/* Driver program to test above function */
int main() 
{ 
	vector<int> ABC(10);
	for(int i = 0; i < 3; i++){
		int idx; cin >> idx;
		ABC[idx]++;
	}
	if(ABC[5] == 2 && ABC[7] == 1) cout << "YES\n";
	else cout << "NO\n";
	return 0; 
} 
