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

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

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