moji_1,moji_2 = input().split(" ")

if moji_1 == "Sat" or moji_1 == "Sun" and moji_2 == "Sat" or moji_2 == "Sun":
    print("8/33")

elif moji_1 == "Sat" or moji_1 == "Sun" or moji_2 == "Sat" or moji_2 == "Sun":
    print("8/32")
    
else:
    print("8/31")