#include<bits/stdc++.h>

using namespace std;
using ll=long long;
#define rep2(i, a, n) for(int i = (a); i < (n); i++)
#define rep(i, n) rep2(i,0,n)

int main(){
  cin.tie(nullptr);ios_base::sync_with_stdio(false);
  //9/1だけが土曜日（Sat）か日曜日（Sun）であるならば"8/32"、9/1と9/2が両方土曜日か日曜日であるならば"8/33"と出力してください。
  //それ以外の場合は"8/31"と出力してください。
  string t,s;cin>>t>>s;
  if((t=="Sat"||t=="Sun")&&!(s=="Sat"||s=="Sun")){
    cout<<"8/32"<<endl;
  }else if((t=="Sat"||t=="Sun")&&(s=="Sat"||s=="Sun")){
    cout<<"8/33"<<endl;
  }else{
    cout<<"8/31"<<endl;
  }
}