#include <bits/stdc++.h>
using namespace std;
int main() {
  int y, w;
  cin >> y >> w;
  int res = max(y, w);
  string ar[7] = {"", "1/1", "5/6", "2/3", "1/2", "1/3", "1/6"};
  cout << ar[res];
  return 0;
}
