#define _CRT_SECURE_NO_WARNINGS
#include "bits/stdc++.h"
#define rep(i,n) for(int i = 0;i < n;i++)
#define P(p) cout<<(p)<<endl;
using namespace std;
typedef long long ll;
int dx[] = { 0, 1, 0, -1 };
int dy[] = { -1, 0, 1, 0 };

int sttoi(std::string str) {
	int ret;
	std::stringstream ss; ss << str;
	ss >> ret;
	return ret;
}

ll gcd(ll a, ll b){
	if (b > a)swap(a, b); if (b == 0)return a; else{ return gcd(b, a%b); }
}

void solve() {
	ll t[3],s[3];
	ll bunsi = 1000000000000, bunbo = 1;
	cin >> t[0] >> t[1] >> t[2];
	ll l = t[0]*t[1]*t[2];
	for (int i = 0; i < 3; i++){
		s[i] = 2 * l / t[i];
	}
	ll A[] = { s[0] + s[1], s[0] - s[1], s[0] + s[1], s[0] - s[1] };
	ll B[] = { s[0] + s[2], s[0] + s[2], s[0] - s[2], s[0] - s[2] };
	for (int i = 0; i < 4; i++){
		ll tmpbunbo, tmpbunsi;
		tmpbunsi = l*2;
		tmpbunbo = gcd(A[i], B[i]);
		ll g = gcd(tmpbunsi, tmpbunbo);
		tmpbunbo /= g; tmpbunsi /= g;
		if (bunsi*tmpbunbo > bunbo*tmpbunsi){
			bunsi = tmpbunsi;
			bunbo = tmpbunbo;
		}
	}
	cout << to_string(bunsi) << "/" << to_string(bunbo) << endl;
}

int main() {
	solve();
	return 0;
}