#include <bits/stdc++.h>
#define rep(i,n) for(ll (i)=0;(i)<(n);(i)++)
#define repi(i,a,b) for(ll (i)=(a);(i)<(b);(i)++)
#define SIZE_OF_ARRAY(array)    (sizeof(array)/sizeof(array[0]))
typedef long long ll;
using namespace std;
const ll mod = 1e9+7;

int main(){
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

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