#include <bits/stdc++.h>
#ifdef _DEBUG
#include "debug.hpp"
#else
#define debug(...)
#endif
#define fastIO (cin.tie(0), cout.tie(0), ios::sync_with_stdio(false))
#define rep(i, n) for (int i = 0; i < (n); ++i)
#define precise(i) fixed << setprecision(i)
using ill = int64_t;
using ull = uint64_t;
using namespace std;
using std::cout;

void solve() {
  string s1, s2;
  cin >> s1 >> s2;
  debug(s1, s2);
  if ((s1 == "Sat" || s1 == "Sun") && (s2 == "Sat" || s2 == "Sun"))
    cout << "8/33" << '\n';
  else if ((s1 == "Sat" || s1 == "Sun") && (s2 != "Sat" && s2 != "Sun"))
    cout << "8/32" << '\n';
  else
    cout << "8/31" << '\n';
}

void wrapper() {
  rep(i, 6) {
    cout << "[TEST " << i << "]\n";
    solve();
    cout << "\n";
  }
}

int main() {
  fastIO;
#ifdef _DEBUG
  wrapper();
#else
  solve();
#endif
}