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

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

function is_holiday (day : string) : boolean {
  return day === "Sat" || day === "Sun";
}

if(is_holiday(S1) && is_holiday(S2)) {
  console.log("8/33");
}
else if(is_holiday(S1)) {
  console.log("8/32");
}
else {
  console.log("8/31");
}