/* -*- coding: utf-8 -*-
 *
 * 841.cc:  No.841 8/32 - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

const char SAT[] = "Sat";
const char SUN[] = "Sun";

/* typedef */

/* global variables */

/* subroutines */

/* main */

int main() {
  char s[8], t[8];
  scanf("%s%s", s, t);

  bool a = (strcmp(s, SAT) == 0 || strcmp(s, SUN) == 0);
  bool b = (strcmp(t, SAT) == 0 || strcmp(t, SUN) == 0);

  if (a && b) puts("8/33");
  else if (a || b) puts("8/32");
  else puts("8/31");
  return 0;
}