#include<bits/stdc++.h>

using namespace std;

int main()
{
    int a[3];
    int cc[8];
    cc[5]=0;
    cc[7]=0;
    for (int i=0; i<3; i++)
    {
        cin>>a[i];
        if (a[i]==5)
            cc[5]++;
        else if (a[i]==7)
            cc[7]++;
    }
    if (cc[5]==2 && cc[7]==1)
    {
        cout<<"YES"<<endl;
    }
    else
    {
        cout<<"NO"<<endl;
    }
}

