#include <bits/stdc++.h>

using namespace std;

#define REP(i,n) for(int i=0; i<(int)(n); i++)
#define FOR(i,b,e) for (int i=(int)(b); i<(int)(e); i++)
#define ALL(x) (x).begin(), (x).end()

const double PI = acos(-1);

bool check(const string &s) {
  return s == "Sun" || s == "Sat";
}

int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);

  string s1, s2; cin >> s1 >> s2;
  int x = 31;
  if (check(s1) && check(s2))
    x += 2;
  else if (check(s1))
    ++x;

  cout << "8/" << x << endl;
  return 0;
}