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));

        t1 = lcm / t1;
        t2 = lcm / t2;
        t3 = lcm / t3;
        long i;
        long max = Math.max(t1, Math.max(t2, t3));
        for (i = max; i > 0; i--) {
        	long m1 = t1 % i;
        	long m2 = t2 % i;
        	long m3 = t3 % i;
        	if (m1 == m2 || m2 == m3 || m1 == m3) {
        		if (m1 == m2 && m3 + m1 == i) {
        			break;
        		} else if (m2 == m3 && m1 + m2 == i) {
        			break;
        		} else if (m3 == m1 && m2 + m3 == i) {
        			break;
        		}
        	}
        }

        if (i == 0) {
        	System.out.println(lcm + "/" + 1);
        	
        } else {
        	long gcd = gcd(lcm, i);
        	System.out.println(lcm / gcd + "/" + i / 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);
		}
	}
}