#include<iostream>
#include<cstdio>
using namespace std;
int main()
{
    int x;
    int ans=0,cnt=0;
   for(int i=1;i<=3;i++)
   {
       cin>>x;
       if(x==5)
        ans++;
       if(x==7)
        cnt++;
   }
   if(ans==2&&cnt==1)
   cout<<"YES"<<endl;
   else
    cout<<"NO"<<endl;
    return 0;
}
