#include<iostream>
using namespace std;

int main(){
  int N[3];
  int ans = 0;
  for(int i=0;i<3;i++)cin>>N[i];
  for(int i=0;i<3;i++){
    if(N[i] == 7)ans = 1;
  }
  if(ans == 1)cout<<"Yes";
  if(ans == 0)cout<<"No";
}
