#include <bits/stdc++.h>
int main() {
  int y, w;
  while (scanf("%d%d", &y, &w) != EOF) {
    int n = 6, max = 0;
    if (y > w)
      max = 6 - y + 1;
    else
      max = 6 - w + 1;
    if (max % 2 == 0) max /= 2, n /= 2;
    if (max % 3 == 0) max /= 3, n /= 3;
    printf("%d/%d\n", max, n);
  }
  return 0;
}
