#include <iostream>
#include <string>
using namespace std;

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