def is_sat_or_sun(s):
    return s == "Sat" or s == "Sun"


def judge(s1, s2):
    if is_sat_or_sun(s1) and not is_sat_or_sun(s2):
        return "8/32"
    elif is_sat_or_sun(s1) and is_sat_or_sun(s2):
        return "8/33"
    else:
        return "8/31"


def main():
    s1, s2 = input().split()
    res = judge(s1, s2)
    print(res)


if __name__ == "__main__":
    main()