#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef  pair<int,int> pa;

int mod=1e9+7;
const int N=2e5+100;


int main()
{
    int x,f=1;

   for(int i=1;i<=3;i++)
   {
       cin>>x;
       if(x==7) f=0;
   } 
   if(f==0) cout<<"Yes"<<endl;
   else cout<<"No"<<endl;
   return 0;
}
