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