#pragma GCC diagnostic error "-std=c++11"
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int maxn = 5e5 + 5;
const ll inf = 0x3f3f3f3f3f;



int main(){
	map<ll,ll>mp;
	for(int i=1;i<=3;i++)
	{
		ll x;
		cin>>x;
		mp[x]++;
	}	
	if(mp[5]==2&&mp[7]==1) cout<<"YES\n";
	else cout<<"NO\n";
	return 0;
}