print"/"+`{0:24,8:25,5:32}[int(raw_input()[-1])]`