#include <iostream>
#include <vector>
#include <utility>
#include <cmath>

using namespace std;

int lancia(int x, int y);

void affonda(int N, int M) {
    lancia(6, 9);
}

// GRADER DI ESEMPIO, NON MODIFICARE

#ifndef EVAL
namespace {
    int N, M;
    vector<pair<int, int>> V;
    int queries = 0;
}

int lancia(int x, int y) {
    queries++;
    if (queries > 100 * N) {
        cout << "Too many queries" << endl;
        exit(0);
    }
    if (x < 0 || x >= M || y < 0 || y >= M) {
        cout << "Invalid query" << endl;
        exit(0);
    }

    if (!V.size()) return -1;

    int res = 1e9;
    for (int i = 0; i < (int)V.size(); i++) {
        res = min(res, max(abs(x - V[i].first), abs(y - V[i].second)));
        if (res == 0) {
            V.erase(V.begin() + i);
            break;
        }
    }
    return res;
}

int main() {
    int T;

    cin >> T;

    for (int t = 0; t < T; t++) {
        cin >> N >> M;

        queries = 0;
        V.resize(N);

        for (auto &[x, y]: V) cin >> x >> y;

        affonda(N, M);

        if (V.size()) {
            cout << "Not all boats have been sunk" << endl;
            exit(0);
        }
        cout << "Correct. " << queries << " queries." << endl;
    }

    return 0;
}
#endif