#include <bits/stdc++.h>

using namespace std;

int a[20];

int main() {
	int x, y, z;
	scanf("%d %d %d", &x, &y, &z);
	a[x]++;
	a[y]++;
	a[z]++;
	if (a[5] == 2 && a[7] == 1) {
		puts("YES");
	} else {
		puts("NO");
	}
	return 0;
}