#include <stdio.h>
#include <string.h>
#include <iostream>
#include <algorithm>
#include <math.h>
#include <limits.h>
#include <map>
#include <stack>
#include <queue>
#include <vector>
#include <set>
#include <string>
#define ll long long
#define ull unsigned long long
#define ms(a) memset(a,0,sizeof(a))
#define pi acos(-1.0)
#define INF 0x7f7f7f7f
#define lson o<<1
#define rson o<<1|1
const double E=exp(1);
const int maxn=1e6+10;
const int mod=1e9+7;
using namespace std;
int main(int argc, char const *argv[])
{
	ios::sync_with_stdio(false);
	int a,b,c;
	cin>>a>>b>>c;
	int flag1=0,flag2=0;
	if(a==5)
		flag1++;
	else if(a==7)
		flag2++;
	if(b==5)
		flag1++;
	else if(b==7)
		flag2++;
	if(c==5)
		flag1++;
	else if(c==7)
		flag2++;
	if(flag1==2&&flag2==1)
		cout<<"YES"<<endl;
	else
		cout<<"NO"<<endl;
	return 0;
}