#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000001


int main(){
	
	vector<long long> t(3);
	rep(i,3){
		cin>>t[i];
	}
	__int128 X,Y;
	rep(i,2){
		rep(j,2){
			__int128 xa = t[1]-t[0];
			if(i)xa = t[0] + t[1];
			__int128 xb = t[0] * t[1];
			__int128 ya = t[2]-t[0];
			if(j)ya = t[0] + t[2];
			__int128 yb = t[0] * t[2];
			
			__int128 g = gcd((long long)xa,(long long)xb);
			xa /= g;
			xb /= g;
			
			g = gcd((long long)ya,(long long)yb);
			ya /= g;
			yb /= g;
			
			swap(xa,xb);
			swap(ya,yb);
			
			__int128 B = lcm((long long)xb,(long long)yb);
			xa *= B/xb;
			ya *= B/yb;
			__int128 A = xa/gcd((long long)xa,(long long)ya);
			A *= ya;//lcm(xa,ya);
			
			g = gcd((long long)A,(long long)B);
			A /= g;
			B /= g;
			
			if(i==0&&j==0){
				X = A,Y = B;
			}
			else{
				if(A*Y<X*B){
					X = A,Y = B;
				}
			}
		}
	}
	long long aa = X,bb = Y;
	cout<<aa<<'/'<<bb<<endl;
	
	return 0;
}