#include <iostream>
using namespace std;

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

   
}


