#include <bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
  string A,B;
  cin>>A>>B;
  set<string> s;
  s.insert("Sat");
  s.insert("Sun");
  if(s.count(A)){
      cout<<"8/"<<32+(s.count(B))<<endl;
  }
  else cout<<"8/31"<<endl;
}