import * as fs from 'fs';
const input = fs.readFileSync('/dev/stdin', 'utf8');

const arr = input.split(' ');
let S1 = arr[0];
let S2 = arr[1];

// まず、「S1 が Sat か Sun である」かどうかで場合わけ
if (S1 === "Sat" || S1 === "Sun") {
  // S1 が Sat か Sun である場合の記述
  if (S2 === "Sat" || S2 === "Sun") {
    console.log("8/33");
  }
  else {
    console.log("8/32");
  }
}
else {
  // S1 が Sat でも Sun でもない場合の記述
  console.log("8/31");
}