#include <bits/stdc++.h>
#define F first
#define S second
#define $ ios::sync_with_stdio(0);
#define endl '\n'
using namespace std;
using ll = long long int;
using ii = pair<ll, ll>;
using vi = vector<ll>;
using vii = vector<ii>;
using graph = vector<vi>;
const int INF = 0x3f3f3f3f;
const ll INFL = 0x3f3f3f3f3f3f3f3f;
const int MAXN = 2123;
int main() {
    int fi = 0, se = 0;
    for (int i = 0, x; i<3; ++i) {
        scanf("%d", &x);
        if (x == 5) ++fi;
        if (x == 7) ++se;
    }
    puts(fi == 2 && se == 1? "YES" : "NO");
}