
#include<bits/stdc++.h>
#define sz(x) ((int)(x).size())
#define rep(i,a,b) for (int i=(a); i<(b); i++)
#define per(i,a,b) for (int i=(b-1); i>=(a); i--)
#define debug(x) cout << #x << " => " << x << endl
using namespace std;

#define fi first
#define se second
#define mp make_pair
typedef pair<int,int> pii;

#define pb push_back
typedef vector<int> vi;

typedef long long ll;
typedef long double ld;

///----------------------------------------------
int dig[10];
int main() {

	///read
	rep(i,0,3) scanf("%d",&dig[i]);
	sort(dig,dig+3);
	if (dig[0]==5 && dig[1]==5 && dig[2]==7) puts("YES");
		else puts("NO");


}
