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