if set(input().strip().split(" ")) == set(["Sun", "Sat"]):
    print("8/33")
else:
    print("8/32")