const reader = require("readline").createInterface({
  input: process.stdin, output: process.stdout
});
let lines = [];
reader.on("line", line => { lines.push(line);
});
reader.on("close", () => {
  let inputDayOfWeek = lines[0]
  let september = inputDayOfWeek.split(" ")
  if (( september[0] == 'Sat' || september[0] =='Sun' ) && ( september[1] == 'Sat'||september[1] == 'Sun' )){
    console.log('8/33')
  } else if (september[0] == 'Sat' || september[0] == 'Sun' ){
    console.log('8/32')
  } else {
    console.log('8/31')
  }
});