#include <iostream>
#include <string>
#include <vector>
#include <queue>
#include <deque>
#include <algorithm>
#include <set>
#include <map>
#include <bitset>
#include <cmath>
#include <functional>
#include <iomanip>
#define vll vector<ll>
#define vvvl vector<vvl>
#define vvl vector<vector<ll>>
#define VV(a, b, c, d) vector<vector<d>>(a, vector<d>(b, c))
#define VVV(a, b, c, d) vector<vvl>(a, vvl(b, vll (c, d)));
#define re(c, b) for(ll c=0;c<b;c++)
#define all(obj) (obj).begin(), (obj).end()
typedef long long int ll;
typedef long double ld;
using namespace std;

bool yasumi(string s){
  return s=="Sat"||s=="Sun";
}
int main(int argc, char const *argv[]) {
  string s, t;std::cin >> s >> t;
  if(yasumi(s)&&yasumi(t)) std::cout << "8/33" << '\n';
  else if(yasumi(s)) std::cout << "8/32" << '\n';
  else std::cout << "8/31" << '\n';
  return 0;
}