A, B = map(str, input().split())

out = 31


def check(day):
    if day == "Sun" or day == "Sat":
        return True
    return False


if check(A):
    out += 1
    if check(B):
        out += 1

print("8/"+str(out))