#include<bits/stdc++.h>
using namespace std;
using Int = long long;
template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;}
template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;}

//INSERT ABOVE HERE
signed main(){
  cout<<"8/";
  Int num=31;
  string s,t;
  cin>>s>>t;
  if(s=="Sat"||s=="Sun") num++;
  if(t=="Sat"||t=="Sun") num++;
  cout<<num<<endl;
  return 0;
}