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

int main() {
  string S;
  int ans = 1;
  for (int i = 0; i < 2 && cin >> S; i++) if (S == "Sat" || S == "Sun") ans++;
  cout << "8/3" << ans << "\n";
}