#include <bits/stdc++.h>
using namespace std;

map <int,int> Mapita;

int main(){
	int A,B,C;
	scanf ("%d %d %d",&A,&B,&C);
	Mapita[A]++;
	Mapita[B]++;
	Mapita[C]++;
	if (Mapita[5]>=2 && Mapita[7]>=1){
		cout << "YES";
	}else{
		cout << "NO";
	}
	return 0;
}