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'||'Sun' ) && ( september[1] == 'Sat'||'Sun' )){
    console.log('8/33')
  } else if (september[0] == 'Sat'||'Sun' ){
    console.log('8/32')
  } else {
    console.log('8/31')
  }
});