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

x,y = read().split()

S = sum(t in [b'Sun',b'Sat'] for t in [x,y])

answer = '8/{}'.format(31+S)
print(answer)