st_data = input()

st_dn = st_data.split(" ")
st_f = st_dn[0]
st_s = st_dn[1]
result = ""

if st_f == "Sat" or st_f == "Sun":
	if st_s == "Sat" or st_s == "Sun":
		result = "8/33"
	else:
		result = "8/32"
else:
	result = "8/31"

print(result)