#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部変数
static FILE *szpFpI;											// 入力

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 最大公約数 - 取得
long long
fGetGcd(
	long long plVal1			// <I> 値１
	, long long plVal2			// <I> 値２
)
{
	long long llWork;

	// ユークリッドの互除法
	if (plVal1 < plVal2) {
		llWork = plVal1;
		plVal1 = plVal2;
		plVal2 = llWork;
	}
	while (plVal2 > 0) {
		llWork = plVal1 % plVal2;
		plVal1 = plVal2;
		plVal2 = llWork;
	}

	return plVal1;
}

// 最小公倍数 - 取得
long long
fGetLcm(
	long long plVal1			// <I> 値１
	, long long plVal2			// <I> 値２
)
{
	// 最大公約数 - 取得
	long long llGcd = fGetGcd(plVal1, plVal2);

	// 約数
	long long llVal1 = plVal1 / llGcd;
	long long llVal2 = plVal2 / llGcd;

	return llVal1 * llVal2 * llGcd;
}

// 一致秒 - 取得
int
fGetTime(
	long long plT1				// <I> 秒１
	, long long plT2			// <I> 秒２
	, long long *plpC			// <O> 一致秒 - 分子
	, long long *plpM			// <O> 一致秒 - 分母
)
{
	*plpC = plT1 * plT2;
	*plpM = plT1 - plT2;

	return 0;
}

// 実行メイン
int
fMain(
)
{
	char lc1Buf[1024];

	// 秒 - 取得
	long long llT1, llT2, llT3;
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%lld", &llT1);
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%lld", &llT2);
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%lld", &llT3);

	// 一致秒 - 取得
	long long llC1, llM1, llC2, llM2, llC3, llM3;
	fGetTime(llT2, llT1, &llC1, &llM1);
	fGetTime(llT3, llT2, &llC2, &llM2);
	fGetTime(llT3, llT1, &llC3, &llM3);

	// 一致秒 - 通分
	long long llLcmM = fGetLcm(llM1, llM2);
	llLcmM = fGetLcm(llLcmM, llM3);
	llC1 *= llLcmM / llM1;
	llC2 *= llLcmM / llM2;
	llC3 *= llLcmM / llM3;

	// 一致秒 - 約分
	long long llGcd = fGetGcd(llLcmM, llC1);
	llGcd = fGetGcd(llGcd, llC2);
	llGcd = fGetGcd(llGcd, llC3);
	llLcmM /= llGcd;
	llC1 /= llGcd;
	llC2 /= llGcd;
	llC3 /= llGcd;

	// 一致秒 - 最小公倍数
	long long llLcmC = fGetLcm(llC1, llC2);
	llLcmC = fGetLcm(llLcmC, llC3);

	// 一致秒 - 約分
	llGcd = fGetGcd(llLcmC, llLcmM);
	llLcmC /= llGcd;
	llLcmM /= llGcd;

	// 出力
	sprintf(lc1Buf, "%lld/%lld\n", llLcmC, llLcmM);
	fOut(lc1Buf);

	return 0;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}