#include <bits/stdc++.h>
using namespace std;
int T, a1, a2, a3, b1, b2, b3, f1, f2, f3, f4, f5, f6, f7;
void solve() {
  scanf("%d%d%d%d%d%d", &a1, &a2, &a3, &b1, &b2, &b3);
  scanf("%d%d%d%d%d%d%d", &f1, &f2, &f3, &f4, &f5, &f6, &f7);
  if (a1 + b1 < f1 + f2 + f3 + f4) {
    puts("-1");
    return;
  }
  if (a2 + b2 < f1 + f2 + f5 + f6) {
    puts("-1");
    return;
  }
  if (a3 + b3 < f1 + f3 + f5 + f7) {
    puts("-1");
    return;
  }
  for (int i = 0; i <= f2; i++)
    for (int j = max(0, f2 + f3 - b1 - i); j <= min(f3, a1 - i); j++)
      for (int k = max(0, max(f2 + f5 - b2 - i, f3 + f5 - b3 - j));
           k <= min(f5, min(a2 - i, a3 - j)); k++)
        if (min(min(a1 - i - j, a2 - i - k), a3 - j - k) +
                min(min(b1 - f2 - f3 + i + j, b2 - f2 - f5 + i + k),
                    b3 - f3 - f5 + j + k) >=
            f1) {
          int t = min(min(min(a1 - i - j, a2 - i - k), a3 - j - k), f1);
          a1 -= t + i + j;
          a2 -= t + i + k;
          a3 -= t + j + k;
          printf("%d %d %d %d %d %d %d\n", t, i, j, min(a1, f4), k, min(a2, f6),
                 min(a3, f7));
          return;
        }
  puts("-1");
}
int main() {
  scanf("%d", &T);
  while (T--) solve();
}
