*s,=input().split()
q=['Sat','Sun']
print(['8/31','8/32','8/33'][(s[0] in q) + (s[1] in q)])