#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#include<queue>
#include<cmath>
#include<stack>
using namespace std;
int a, b, c;
int mapp[100];
int main()
{
    scanf("%d%d%d", &a, &b, &c);
    mapp[a]++;
    mapp[b]++;
    mapp[c]++;
    if(mapp[5]==2&&mapp[7]==1)
        printf("YES\n");
    else
        printf("NO\n");
    return 0;
}
