ans = 31
ss = list(input().split())
for s in ss:
    if s == "Sun" or s == "Sat":
        ans += 1
print("8/" + str(ans))