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