import sys
input = sys.stdin.readline


def main():
    S = input().strip().split()
    d = 31
    if S[0] == 'Sat' or S[0] == 'Sun':
        d += 1
    if S[1] == 'Sat' or S[1] == 'Sun':
        d += 1

    print('8/', d, sep='')


if __name__ == "__main__":
    main()