#include <iostream>
#include <algorithm>
#include <string>
#include <cstring>
#include <map>
#include <set>
#include <vector>
#include <cstdio>
#include <cstdlib>

typedef long long int lld;
typedef unsigned long long int ulld;
const int mod = 1000000007;

using namespace std;

int uinps[3];

int main (void) {
	ios::sync_with_stdio (false);
	cin >> uinps[0] >> uinps[1] >> uinps[2];
	sort (uinps, uinps + 3);
	if (uinps[0] == 5 && uinps[1] == 5 && uinps[2] == 7) cout << "YES" << endl;
	else cout << "NO" << endl;
	return 0;
}