#include <bits/stdc++.h>
using namespace std;
int main()
{
    int flag[14];
    memset(flag, 0, sizeof(flag));
    int n, m, k;
    cin >> n >> m >> k;
    flag[n]++;
    flag[m]++;
    flag[k]++;
    if (flag[5] == 2 && flag[7] == 1) cout << "YES" << endl;
    else cout << "NO" << endl;
    return 0;
}
