#include <bits/stdc++.h>
#define rep(i,n)for(long long i=0;i<(n);i++)
using namespace std;
typedef unsigned long long ull;
typedef long long ll;
const ll INF=1e18;
const int MOD=1e9+7;
const double pi=acos(-1);

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