Problem: Following FIFA World Cup, a larger competition called ``GIGA Universe Cup'' is taking place somewhere in our universe. Both FIFA World Cup and GIGA Universe Cup are two rounds competitions that consist of the first round, also known as ``group league,'' and the second called ``final tournament.'' In the first round, participating teams are divided into groups of four teams each. Each team in a group plays a match against each of the other teams in the same group. For example, let's say we have a group of the following four teams, ``Engband, Swedon, Argontina, and Nigerua.'' They play the following six matches: Engband - Swedon, Engband - Argontina, Engband - Nigerua, Swedon - Argontina, Swedon - Nigerua, and Argontina - Nigerua.

The result of a single match is shown by the number of goals scored by each team, like ``Engband 1 - 0 Argontina,'' which says Engband scored one goal whereas Argontina zero. Based on the result of a match, points are given to the two teams as follows and used to rank teams. If a team wins a match (i.e., scores more goals than the other), three points are given to it and zero to the other. If a match draws (i.e., the two teams score the same number of goals), one point is given to each.

The goal difference of a team in given matches is the total number of goals it scored minus the total number of goals its opponents scored in these matches. For example, if we have three matches ``Swedon 1 - 2 Engband,'' ``Swedon 3 - 4 Nigerua,'' and ``Swedon 5 - 6 Argontina,'' then the goal difference of Swedon in these three matches is (1 + 3 + 5) - (2 + 4+ 6) = -3.

Given the results of all the six matches in a group, teams are ranked by the following criteria, listed in the order of priority (that is, we first apply (a) to determine the ranking, with ties broken by (b), with ties broken by (c), and so on).

(a) greater number of points in all the group matches;

(b) greater goal difference in all the group matches;

(c) greater number of goals scored in all the group matches.

If two or more teams are equal on the basis of the above three criteria, their place shall be determined by the following criteria, applied in this order:

(d) greater number of points obtained in the group matches between the teams concerned;

(e) greater goal difference resulting from the group matches between the teams concerned;

(f) greater number of goals scored in the group matches between the teams concerned;

If two or more teams are stiIl equal, apply (d), (e), and (f) as necessary to each such group. Repeat this until those three rules to equal teams do not make any further resolution. Finally, teams that still remain equal are ordered by:

(g) drawing lots by the Organizing Committee for the GIGA Universe Cup.

The two teams coming first and second in each group qualify for the second round.

Your job is to write a program which, given the results of matches played so far in a group and one team specified in the group, calculates the probability that the specified team will qualify for the second round. You may assume each team has played exactly two matches and has one match to play. In total, four matches have been played and two matches are to be played.

Assume the probability that any team scores (exactly) p goals in any match is:

<image>

for p ≤ 8, and zero for p > 8 . Assume the lot in the step (g) is fair.



Input

The first line of the input is an integer, less than 1000, that indicates the number of subsequent records.

The rest of the input is the indicated number of records. A single record has the following format:

<image>

In the above, <_> is a single underscore (_) and <empty> a sequence of exactly four underscores (____). Each of <team>1, ... , <team>4 is either an asterisk character (*) followed by exactly three uppercase letters (e.g., *ENG), or an underscore followed by exactly three uppercase letters (e.g., _SWE). The former indicates that it is the team you are asked to calculate the probability of the second round qualification for. You may assume exactly one of <team>1, ... , <team>4 is marked with an asterisk. Each <m>ij(1 ≤ i < j ≤ 4) is a match result between the <team>i and <team>j. Each match result is either __-_ (i.e., two underscores, hyphen, and another underscore) or of the form _x-y where each of x and y is a single digit (≤ 8) . The former indicates that the corresponding match has not been played, whereas the latter that the result of the match was x goals by <team>i and y goals by <team>j. Since each team has played exactly two matches, exactly two match results are in the former format.

Output

The output should consist of n lines where n is the number of records in the input. The ith line should show the probability that the designated team (marked with an asterisk) will qualify for the second round in the ith record.

Numbers should be printed with exactly seven digits after the decimal point. Each number should not contain an error greater than 10-7.

Example

Input

5
_____*AAA__BBB__CCC__DDD
*AAA_______0-0__0-0___-_
_BBB_____________-___0-0
_CCC_________________0-0
_DDD____________________
______CHN__CRC__TUR_*BRA
_CHN_______0-2___-___0-4
_CRC____________1-1___-_
_TUR_________________1-2
*BRA____________________
______CMR_*KSA__GER__IRL
_CMR_______1-0___-___1-1
*KSA____________0-8___-_
_GER_________________1-1
_IRL____________________
______TUN__JPN_*BEL__RUS
_TUN________-___1-1__0-2
_JPN____________2-2__1-0
*BEL__________________-_
_RUS____________________
______MEX__CRO_*ECU__ITA
_MEX_______1-0__2-1___-_
_CRO_____________-___2-1
*ECU_________________0-2
_ITA____________________


Output

0.5000000
1.0000000
0.0000000
0.3852746
0.0353304

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int main(){
  cout << fixed << setprecision(7);
  vector<int> fact(9);
  fact[0] = 1;
  for (int i = 1; i < 9; i++){
    fact[i]= fact[i - 1] * i;
  }
  vector<double> p(9);
  for (int i = 0; i < 9; i++){
    p[i] = (double) fact[8] / fact[i] / fact[8 - i] * pow(0.25, i) * pow(0.75, 8 - i);
  }
  int t;
  cin >> t;
  for (int i = 0; i < t; i++){
    vector<string> S(5);
    for (int j = 0; j < 5; j++){
      cin >> S[j];
    }
    vector<vector<int>> score(4, vector<int>(4, -1));
    for (int j = 0; j < 4; j++){
      for (int k = j + 1; k < 4; k++){
        char c1 = S[j + 1][k * 5 + 6];
        if (c1 != '_'){
          score[j][k] = c1 - '0';
        }
        char c2 = S[j + 1][k * 5 + 8];
        if (c2 != '_'){
          score[k][j] = c2 - '0';
        }
      }
    }
    vector<pair<int, int>> s;
    for (int j = 0; j < 4; j++){
      for (int k = 0; k < 4; k++){
        if (j != k){
          if (score[j][k] == -1){
            s.push_back(make_pair(j, k));
          }
        }
      }
    }
    int team;
    for (int j = 0; j < 4; j++){
      if (S[j + 1][0] == '*'){
        team = j;
      }
    }
    double ans = 0;
    vector<int> r(4);
    for (r[0] = 0; r[0] <= 8; r[0]++){
      for (r[1] = 0; r[1] <= 8; r[1]++){
        for (r[2] = 0; r[2] <= 8; r[2]++){
          for (r[3] = 0; r[3] <= 8; r[3]++){
            double tmp = 1;
            for (int j = 0; j < 4; j++){
              tmp *= p[r[j]];
            }
            vector<vector<int>> result = score;
            for (int j = 0; j < 4; j++){
              result[s[j].first][s[j].second] = r[j];
            }
            vector<set<int>> rank(1);
            for (int j = 0; j < 4; j++){
              rank[0].insert(j);
            }
            while (1){
              bool update = false;
              vector<set<int>> rank2;
              vector<int> points(4, 0);
              vector<int> gdiff(4, 0);
              vector<int> goals(4, 0);
              int cnt = rank.size();
              for (int j = 0; j < cnt; j++){
                int sz = rank[j].size();
                for (int k = 0; k < 4; k++){
                  for (int l = k + 1; l < 4; l++){
                    if (rank[j].count(k) && rank[j].count(l)){
                      if (result[k][l] > result[l][k]){
                        points[k] += 3;
                      } else if (result[k][l] < result[l][k]){
                        points[l] += 3;
                      } else {
                        points[k]++;
                        points[l]++;
                      }
                      gdiff[k] += result[k][l] - result[l][k];
                      gdiff[l] += result[l][k] - result[k][l];
                      goals[k] += result[k][l];
                      goals[l] += result[l][k];
                    }
                  }
                }
                map<tuple<int, int, int>, set<int>> mp;
                for (int k : rank[j]){
                  mp[make_tuple(points[k], gdiff[k], goals[k])].insert(k);
                }
                if (mp.size() > 1){
                  update = true;
                }
                for (auto itr = mp.rbegin(); itr != mp.rend(); itr++){
                  rank2.push_back((*itr).second);
                }
              }
              if (!update){
                break;
              } else {
                swap(rank, rank2);
              }
            }
            if (rank[0].count(team)){
              if (rank[0].size() <= 2){
                ans += tmp;
              } else {
                ans += tmp * 2 / rank[0].size();
              }
            } else if (rank[0].size() == 1 && rank[1].count(team)){
              ans += tmp / rank[1].size();
            }
          }
        }
      }
    }
    cout << ans << endl;
  }
}