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

#define rep(i,n) for(int i=0;i<(n);i++)

int main(){

  string x,y;
  cin >> x >> y;
  int n = (x=="Sun"|| x=="Sat"?1:0);
  printf("8/%d\n",31 + n + (n?(y=="Sun"||y=="Sat"?1:0):0));
}