#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#include<queue>
#include<cmath>
#include<stack>
using namespace std;
int A, B, C;
int mapp[3];
int main()
{
    while(scanf("%d%d%d", &A, &B, &C)!=EOF)
    {
            mapp[0] = A;
            mapp[1] = B;
            mapp[2] = C;
            sort(mapp, mapp+3);
            if(mapp[0]==5&&mapp[1]==5&&mapp[2]==7)
                cout<<"YES";
            else
                cout<<"NO";
    }
    return 0;
}
