#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) flag++;
	if(a==7) flag+=12;
		if(b==5) flag++;
	if(b==7) flag+=12;
		if(c==5) flag++;
	if(c==7) flag+=12;
	if(flag==14)	printf("YES");
	else  printf("NO");

	return 0;