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

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

//if 文の条件の順番が大切
// if (((S1 === "Sat") && (S2 === "Sun")) || ((S1 === "Sun") && (S2 === "Sat"))) {
//     console.log("8/33");
// } else if (((S1 === "Sat") && (S2 !== "Sun")) || ((S1 === "Sun") && (S2 !== "Sat"))) {
//     console.log("8/32")
// } else {
//     console.log("8/31");
// }
if ((S1 === "Sun" || S1 === "Sat") && (S2 === "Sun" || S2 === "Sat")){
    console.log("8/33");
  } else if ((S1 === "Sun" || S1 === "Sat") && !(S2 === "Sun" || S2 === "Sat")){
    console.log("8/32");
  } else {
    console.log("8/31");
  }