s1,s2 = input().split()

if s1 == "Sat" or s1 == "Sun":
    if s2 == "Sat" or s2 == "Sun":
        print("8/33")
    else:
        print("8/32")
else:
    print("8/31")