#include <iostrea>
using namespace std;
int main()
{
  int n[3], is=0;
  for(int i = 0; i<3; i++)
  {
    cin>>n[i];
    if (n[i] == 7)
    {
      is = 1;
    }
  }
  if (is == 1)
  {
    cout << "Yes"<<"\n";
  }
  else
  {
    cout << "No" << "\n";
  }
}