s,t = gets.split
d = ["Sat", "Sun"]
ds, dt = [d.include?(s), d.include?(t)]
v = ds ? (dt ? 33 : 32) : 31
puts "8/#{v}"