#include<bits/stdc++.h> 
using namespace std;
int a[2];
int main()
{
   for(int i=0;i<=2;i++)
   {cin>>a[i];
   {
   if(a[i]==7)
   {
   cout<<"Yes";
   return 0;}
   else
{
	continue; 
}  
} 
cout<<"No"; 
  return 0;
} 
}
