#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];
	}
	long long X,Y;
	rep(i,2){
		rep(j,2){
			long long xa = t[1]-t[0];
			if(i)xa = t[0] + t[1];
			long long xb = t[0] * t[1];
			long long ya = t[2]-t[0];
			if(j)ya = t[0] + t[2];
			long long yb = t[0] * t[2];
			
			long long g = gcd(xa,xb);
			xa /= g;
			xb /= g;
			
			g = gcd(ya,yb);
			ya /= g;
			yb /= g;
			
			swap(xa,xb);
			swap(ya,yb);
			
			long long B = lcm(xb,yb);
			xa *= B/xb;
			ya *= B/yb;
			long long A = lcm(xa,ya);
			
			g = gcd(A,B);
			A /= g;
			B /= g;
			if(i==0&&j==0){
				X = A,Y = B;
			}
			else{
				if(A*Y<X*B){
					X = A,Y = B;
				}
			}
		}
	}
	
	cout<<X<<'/'<<Y<<endl;
	
	return 0;
}