#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);

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

  int x = 31;
  REP (i, 2) {
    string s;
    cin >> s;
    if (s == "Sat" || s == "Sun") ++x;
  }

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