#include <bits/stdc++.h>

using i64 = long long;

void solve() {
    int n, k;
    std::cin >> n >> k;
    
    std::string s;
    std::cin >> s;
    
    if (s == std::string(n, '?')) {
        s[0] = '0';
        for (int i = 1; i < n; i++) {
            if (n - i <= k) {
                s[i] = s[i - 1] ^ 1;
            } else {
                s[i] = s[i - 1];
            }
        }
        std::cout << s << "\n";
        return;
    }
    
    int l = 0, r = 0;
    int parity = 0;
    std::vector<int> p{-1};
    for (int i = 0; i < n; i++) {
        if (s[i] != '?') {
            p.push_back(i);
        }
    }
    p.push_back(n);
    
    auto add = [&](int x, int y, int t = 1) {
        int len = y - x - 1;
        if (x == -1 || y == n) {
            r += len * t;
            if (len > 0) {
                parity += t;
            }
        } else {
            l += (s[x] != s[y]) * t;
            int mx = len + 1;
            if (mx % 2 != (s[x] != s[y])) {
                mx--;
            }
            r += mx * t;
        }
    };
    
    auto check = [&]() {
        return l <= k && k <= r && (parity > 0 || (k - l) % 2 == 0);
    };
    
    for (int i = 0; i + 1 < p.size(); i++) {
        add(p[i], p[i + 1]);
    }
    
    if (!check()) {
        std::cout << "Impossible\n";
        return;
    }
    
    for (int i = 0; i + 1 < p.size(); i++) {
        for (int j = p[i] + 1; j < p[i + 1]; j++) {
            add(j - 1, p[i + 1], -1);
            s[j] = '0';
            add(j - 1, j);
            add(j, p[i + 1]);
            if (!check()) {
                add(j - 1, j, -1);
                add(j, p[i + 1], -1);
                s[j] = '1';
                add(j - 1, j);
                add(j, p[i + 1]);
            }
        }
    }
    
    std::cout << s << "\n";
}

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    
    int t;
    std::cin >> t;
    
    while (t--) {
        solve();
    }
    
    return 0;
}