#include <bits/stdc++.h>
#pragma comment(linker, "/STACK:256000000")
using namespace std;
int aabs(int a) {
  if (a < 0) return -a;
  return a;
}
struct my {
  string name;
  int s;
  int a, b;
  int cnt;
};
bool cmp(my a, my b) {
  return a.s > b.s || (a.s == b.s && a.a - a.b > b.a - b.b) ||
         (a.s == b.s && a.a - a.b == b.a - b.b && a.a > b.a) ||
         (a.s == b.s && a.a - a.b == b.a - b.b && a.a == b.a &&
          a.name < b.name);
}
int main() {
  my a[4];
  int cnt = 0;
  for (int i = 0; i < 5; i++) {
    string s1, s2, s3;
    cin >> s1 >> s2 >> s3;
    int a1 = s3[0] - '0', a2 = s3[2] - '0';
    int j1 = -1;
    for (int j = 0; j < cnt; j++) {
      if (a[j].name == s1) {
        j1 = j;
        break;
      }
    }
    if (j1 < 0) {
      a[cnt].name = s1;
      a[cnt].a = 0;
      a[cnt].b = 0;
      a[cnt].s = 0;
      a[cnt].cnt = 0;
      j1 = cnt;
      cnt++;
    }
    int j2 = -1;
    for (int j = 0; j < cnt; j++) {
      if (a[j].name == s2) {
        j2 = j;
        break;
      }
    }
    if (j2 < 0) {
      a[cnt].name = s2;
      a[cnt].a = 0;
      a[cnt].b = 0;
      a[cnt].s = 0;
      a[cnt].cnt = 0;
      j2 = cnt;
      cnt++;
    }
    if (a1 > a2) {
      a[j1].s += 3;
    } else {
      if (a1 < a2) {
        a[j2].s += 3;
      } else {
        a[j1].s++;
        a[j2].s++;
      }
    }
    a[j1].a += a1;
    a[j1].b += a2;
    a[j2].a += a2;
    a[j2].b += a1;
    a[j1].cnt++;
    a[j2].cnt++;
  }
  pair<int, int> ans = make_pair(10000, 1000);
  for (int i = 0; i < 100; i++) {
    for (int j = 0; j < i; j++) {
      my b[4];
      for (int k = 0; k < 4; k++) {
        b[k].name = a[k].name;
        b[k].s = a[k].s;
        b[k].a = a[k].a;
        b[k].b = a[k].b;
        b[k].cnt = a[k].cnt;
      }
      int j1 = -1, j2 = -1;
      for (int k = 0; k < 4; k++) {
        if (b[k].cnt == 2) {
          j1 = k;
          break;
        }
      }
      for (int k = 0; k < 4; k++) {
        if (b[k].cnt == 2) {
          j2 = k;
        }
      }
      if (b[j1].name != "BERLAND") {
        swap(j1, j2);
      }
      b[j1].s += 3;
      b[j1].a += i;
      b[j1].b += j;
      b[j2].b += i;
      b[j2].a += j;
      b[j1].cnt++;
      b[j2].cnt++;
      sort(b, b + 4, cmp);
      if (b[0].name == "BERLAND" || b[1].name == "BERLAND") {
        if (i - j < ans.first - ans.second ||
            (i - j == ans.first - ans.second && j < ans.second)) {
          ans.first = i;
          ans.second = j;
        }
      }
    }
  }
  if (ans.first == 10000) {
    cout << "IMPOSSIBLE";
  } else {
    cout << ans.first << ":" << ans.second;
  }
  return 0;
}
