#include<bits/stdc++.h>
using namespace std;

int main() {
  string a, b;
  cin >> a >> b;
  if (a == "Sat" || a == "Sun") {
    if (b == "Sat" || b == "Sun") {
      cout << "8/33" << endl;
    } else {
      cout << "8/32" << endl;
    }
  } else {
    cout << "8/31" << endl;
  }
  return 0;
}