#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;
  printf("8/%d",31 + (x=="Sun"|| x=="Sat"?1:0) + (y=="Sun"||y=="Sat"?1:0));
}