#include <iostream>
using namespace std;

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