def gcd(a, b):
    if b == 0:
        return a
    return gcd(b, a % b)

def lcm(a, b):
    return a // gcd(a, b) * b


t = [int(input()) for i in range(3)]
numer = lcm(lcm(t[0], t[1]), t[2])

lcm_over_t = [numer // t[i] for i in range(3)]

denom = 1
for d in range(1, max(lcm_over_t)):
    if lcm_over_t[0] % d == lcm_over_t[1] % d == lcm_over_t[2] % d:
        denom = d

print("/".join(map(str, [numer, denom])))