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