#include<cstdio>
#include<iostream>
using namespace std;
int main(){
	int a,b,c,flag=0;
	scanf("%d %d %d",&a,&b,&c);
	if(a==5 && b==5 && c==7 ) printf("YES\n");
	else if(a==5 && b==7 && c==5 ) printf("YES\n");
	else if(a==7 && b==5 && c==5 ) printf("YES\n");
	else  printf("NO\n");

	return 0;
} 