#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false), cin.tie(0), cout.tie(0);
  srand(time(NULL));
  int T = 1;
  while (T--) {
    int a, b;
    cin >> a >> b;
    int num = 6 - max(a, b) + 1;
    switch (num) {
      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;
}
