# import sys; input = sys.stdin.buffer.readline
# sys.setrecursionlimit(10**7)
from collections import defaultdict
con = 10 ** 9 + 7; INF = float("inf")

def getlist():
	return list(map(int, input().split()))

#処理内容
def main():
	S1, S2 = list(input().split())
	if (S1 == "Sat" or S1 == "Sun") and (S2 == "Sat" or S2 == "Sun"):
		print("8/33")
	elif (S1 == "Sat" or S1 == "Sun"):
		print("8/32")
	else:
		print("8/31")
	




if __name__ == '__main__':
	main()