//Normal

#define _GLIBCXX_DEBUG
#define ll long long
#include <bits/stdc++.h>
using namespace std;
using Graph = vector<vector<int>>;

void print(auto a){
  cout << a;
}

void prints(auto a){
  cout << a << " ";
}

void prints(){
  cout << " ";
}

void printl(auto a){
  cout << a << endl;
}

void printl(){
  cout << endl;
}

void fix(int n){
  cout << fixed << setprecision(n);
}

int main(){
  string S1, S2; cin >> S1 >> S2;
  vector<string> X = {"Sat", "Sun"};
  
  bool f1 = false, f2 = false;
  for(int i = 0; i < 2; i++){
    int f = (int)S1.find(X[i]);
    
    if(f != -1) f1 = true;
  }
  for(int i = 0; i < 2; i++){
    int f = (int)S2.find(X[i]);
    
    if(f != -1) f2 = true;
  }
  
  f1 and f2 ? printl("8/33") : f1 ? printl("8/32") : printl("8/31");
  
  return 0;
}