#include<bits/stdc++.h>
typedef long long ll;
using namespace std;
int main()
{
    int a[3];
    cin>>a[0]>>a[1]>>a[2];
    int s1=0,s2=0;
    int i;
    for(i=0;i<3;i++)
    {
        if(a[i]==5)
            s1++;
        else if(a[i]==7)
            s2++;
    }
    if(s1==2&&s2==1)
        cout<<"Yes"<<endl;
    else
        cout<<"No"<<endl;
}
