import java.util.Scanner;


public class Main_yukicoder229 {

    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);

        long t1 = sc.nextLong();
        long t2 = sc.nextLong();
        long t3 = sc.nextLong();

        long lcm = lcm(t1, lcm(t2, t3));

        long max = 1;
        max = Math.max(max, gcd(gcd(Math.abs(t2 - t1), Math.abs(t3 - t2)), Math.abs(t1 - t3)));
        max = Math.max(max, gcd(gcd(Math.abs(t2 - t1), Math.abs(t3 + t2)), Math.abs(t1 + t3)));
        max = Math.max(max, gcd(gcd(Math.abs(t3 - t2), Math.abs(t1 + t3)), Math.abs(t2 + t1)));
        max = Math.max(max, gcd(gcd(Math.abs(t1 - t3), Math.abs(t2 + t1)), Math.abs(t3 + t2)));

        long gcd = gcd(lcm, max);
        System.out.println(lcm / gcd + "/" + max / gcd);
        
        sc.close();
    }

    private static long lcm(long n, long m) {
		return n * m / gcd(n, m);
	}

	private static long gcd(long n, long m) {
		if (m == 0) {
			return n;
		} else {
			return gcd(m, n % m);
		}
	}
}