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

int main(){
  string S,T;
  cin >> S >> T;
  if(S == "Sat" || S == "Sun"){
    if(T == "Sat" || T == "Sun"){
      cout << "8/33" << endl;
    }
    else{
      cout << "8/32" << endl;
    }
  }
  else{
    cout << "8/31" << endl;
  }
}