#include <bits/stdc++.h>
using namespace std;
int t, a1, a2, b1, b2, c1, c2, d[8], f[8], l1, r1, l2, r2, l3, r3;
int main() {
  scanf("%d", &t);
  while (t--) {
    scanf("%d%d%d%d%d%d", &a1, &b1, &c1, &a2, &b2, &c2);
    for (int i = 1; i <= 7; i++) scanf("%d", &d[i]);
    a2 = d[1] + d[4] - a2, b2 = d[1] + d[6] - b2, c2 = d[1] + d[7] - c2;
    bool flag = 0;
    for (f[2] = 0; !flag && f[2] <= d[2]; f[2]++)
      for (f[3] = 0; !flag && f[3] <= d[3]; f[3]++)
        for (f[5] = 0; !flag && f[5] <= d[5]; f[5]++) {
          l1 = max(a2 + d[2] + d[3] - f[2] - f[3], 0), r1 = a1 - f[2] - f[3];
          l2 = max(b2 + d[2] + d[5] - f[2] - f[5], 0), r2 = b1 - f[2] - f[5];
          l3 = max(c2 + d[5] + d[3] - f[5] - f[3], 0), r3 = c1 - f[5] - f[3];
          if (l1 > r1 || l2 > r2 || l3 > r3) continue;
          f[1] = min(d[1], min(r1, min(r2, r3)));
          if ((f[4] = max(0, l1 - f[1])) > d[4]) continue;
          if ((f[6] = max(0, l2 - f[1])) > d[6]) continue;
          if ((f[7] = max(0, l3 - f[1])) > d[7]) continue;
          flag = 1;
        }
    if (!flag)
      printf("-1\n");
    else
      printf("%d %d %d %d %d %d %d\n", f[1], f[2] - 1, f[3] - 1, f[4], f[5] - 1,
             f[6], f[7]);
  }
  return 0;
}
