#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);
  string S1, S2;
  cin >> S1 >> S2;
  if ((S1 == "Sat" || S1 == "Sun") && (S2 != "Sat" && S2 != "Sun")) {
    cout << "8/32\n";
  } else if ((S1 == "Sat" || S1 == "Sun") && (S2 == "Sat" || S2 == "Sun")) {
    cout << "8/33\n";
  } else {
    cout << "8/31\n";
  }
  return 0;
}