#include<bits/stdc++.h>

using namespace std;
int freq[15];
int main()
{
    int a, b, c;
    cin >> a >> b >> c;
    freq[a]++;
    freq[b]++;
    freq[c]++;
    if(freq[5] == 2 && freq[7] == 1) cout << "YES" << endl;
    else cout << "NO" << endl;
    return 0;
}
