import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

x,y = read().split()

is_weekend = [t in [b'Sun',b'Sat'] for t in [x,y]]

x = 31
if all((is_weekend[0], not is_weekend[1])):
    x = 32
if all(is_weekend):
    x = 33

answer = '8/{}'.format(x)
print(answer)