line = input().split(" ")

sept1 = line[0]
sept2 = line[1]
holiday = ("Sun", "Sat")
ans = ""

if (sept1 in holiday):
    if (sept2 in holiday):
        ans = "8/33"
    else:
        ans = "8/32"
else:
    ans = "8/31"

print(ans)