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