#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <iostream>
#include <sstream>
#include <queue>
#include <map>
#include <vector>
#include <set>
#include <cstdlib>
#include <stack>

using namespace std;

typedef long long LL;
#define FAST ios::sync_with_stdio(false);
const int MaxN = 5;

int main()
{
	int a[MaxN];
	for(int i = 0 ; i < 3 ; i++)
		scanf("%d",&a[i]);
		sort(a,a + 3);
	if(a[0] == 5 && a[1] == 5 && a[2] == 7)printf("YES\n");
	else printf("NO\n");
	return 0;
	}