Any resemblance to any real championship and sport is accidental.

The Berland National team takes part in the local Football championship which now has a group stage. Let's describe the formal rules of the local championship:

the team that kicked most balls in the enemy's goal area wins the game;
the victory gives 3 point to the team, the draw gives 1 point and the defeat gives 0 points;
a group consists of four teams, the teams are ranked by the results of six games: each team plays exactly once with each other team;
the teams that get places 1 and 2 in the group stage results, go to the next stage of the championship.

In the group stage the team's place is defined by the total number of scored points: the more points, the higher the place is. If two or more teams have the same number of points, then the following criteria are used (the criteria are listed in the order of falling priority, starting from the most important one):

the difference between the total number of scored goals and the total number of missed goals in the championship: the team with a higher value gets a higher place;
the total number of scored goals in the championship: the team with a higher value gets a higher place;
the lexicographical order of the name of the teams' countries: the country with the lexicographically smaller name gets a higher place.

The Berland team plays in the group where the results of 5 out of 6 games are already known. To be exact, there is the last game left. There the Berand national team plays with some other team. The coach asks you to find such score X:Y (where X is the number of goals Berland scored and Y is the number of goals the opponent scored in the game), that fulfills the following conditions:

X > Y, that is, Berland is going to win this game;
after the game Berland gets the 1st or the 2nd place in the group;
if there are multiple variants, you should choose such score X:Y, where value X - Y is minimum;
if it is still impossible to come up with one score, you should choose the score where value Y (the number of goals Berland misses) is minimum.

Input

The input has five lines.

Each line describes a game as "team₁ team₂ goals₁:goals₂" (without the quotes), what means that team team₁ played a game with team team₂, besides, team₁ scored goals₁ goals and team₂ scored goals₂ goals. The names of teams team₁ and team₂ are non-empty strings, consisting of uppercase English letters, with length of no more than 20 characters; goals₁, goals₂ are integers from 0 to 9.

The Berland team is called "BERLAND". It is guaranteed that the Berland team and one more team played exactly 2 games and the the other teams played exactly 3 games.

Output

Print the required score in the last game as X:Y, where X is the number of goals Berland scored and Y is the number of goals the opponent scored. If the Berland team does not get the first or the second place in the group, whatever this game's score is, then print on a single line "IMPOSSIBLE" (without the quotes).

Note, that the result score can be very huge, 10:0 for example.

Note

In the first sample "BERLAND" plays the last game with team "CERLAND". If Berland wins with score 6:0, the results' table looks like that in the end:

AERLAND (points: 9, the difference between scored and missed goals: 4, scored goals: 5)
BERLAND (points: 3, the difference between scored and missed goals: 0, scored goals: 6)
DERLAND (points: 3, the difference between scored and missed goals: 0, scored goals: 5)
CERLAND (points: 3, the difference between scored and missed goals: -4, scored goals: 3)

In the second sample teams "AERLAND" and "DERLAND" have already won 7 and 4 points, respectively. The Berland team wins only 3 points, which is not enough to advance to the next championship stage.

Football Championship

Examples