#include<iostream>
#include<string>
#include<algorithm>
#include<vector>
#include<iomanip>
#include<math.h>
#include<complex>
#include<queue>
#include<deque>
#include<stack>
#include<map>
#include<set>
#include<bitset>
using namespace std;
#define REP(i,m,n) for(int i=(int)m ; i < (int) n ; ++i )
#define rep(i,n) REP(i,0,n)
typedef long long ll;
typedef pair<int,int> pint;
typedef pair<ll,int> pli;
const int inf=1e9+7;
const ll longinf=1LL<<60 ;
const ll mod=1000003 ;

int main(){
  string s,t;
  cin >> s >> t;
  string x="Sun",y="Sat";
  if(s==x || s==y){
    if(t==x || t==y){
      cout << "8/33" << endl;
      return 0;
    }
    cout << "8/32" << endl;
    return 0;
  }
  cout << "8/31" << endl;
return 0;}