import sequtils, strutils, algorithm, tables, math, sugar

let (A,B) = (let t = stdin.readline.split;(t[0],t[1]))

var ans = 31
if (A=="Sat")or(A=="Sun"):
    inc(ans)
    if (B=="Sat")or(B=="Sun"): inc(ans)

echo "8/" & $ans