#include <bits/stdc++.h>

using namespace std;

int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  string S, T;
  cin >> S >> T;
  if (S == "Sun" || S == "Sat") {
    if (T == "Sun" || T == "Sat") {
      cout << "8/33" << '\n';
    } else {
      cout << "8/32" << '\n';
    }
  } else {
    cout << "8/31" << '\n';
  }
  return 0;
}