#include <bits/stdc++.h>
using namespace std;
int main() {
  int w, y;
  cin >> y >> w;
  int r = max(y, w);
  r = (6 - r) + 1;
  switch (r) {
    case 0:
      cout << "0/1";
      break;
    case 1:
      cout << "1/6";
      break;
    case 2:
      cout << "1/3";
      break;
    case 3:
      cout << "1/2";
      break;
    case 4:
      cout << "2/3";
      break;
    case 5:
      cout << "5/6";
      break;
    case 6:
      cout << "1/1";
      break;
  }
  return 0;
}
