#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;

inline int rd() {
    int x = 0;
    bool f = 0;
    char c = getchar();
    for (; !isdigit(c); c = getchar()) f |= (c == '-');
    for (; isdigit(c); c = getchar()) x = x * 10 + (c ^ 48);
    return f ? -x : x;
}

#define eb emplace_back
#define all(s) (s).begin(), (s).end()
#define rep(i, a, b) for (int i = (a); i <= (b); ++i)
#define per(i, a, b) for (int i = (a); i >= (b); --i)

double eps = 1e-9;

int main() {
    double x0, y0, r;
    auto query = [&](int x1, int y1, int x2, int y2) {
        printf("query %d %d %d %d\n", x1, y1, x2, y2);
        fflush(stdout); double l; scanf("%lf", &l); return l;
    };
    auto sqr = [&](double x) {return x * x;};
    auto solve = [&](double x1, double l1, double x2, double l2) {
        l1 /= 2; l2 /= 2;
        if (l1 < l2) swap(x1, x2), swap(l1, l2);
        double d = (sqr(l1) - sqr(l2) - 1) / 2;
        r = sqrt(sqr(l1) + sqr(d));
        return (x2 > x1 ? x1 - d : x1 + d);
    };
    for (int i = 0; i <= 100000; i += 199) {
        double x = query(0, i, 100000, i);
        if (x > eps) {
            double xup = query(0, i + 1, 100000, i + 1);
            double xdn = query(0, i - 1, 100000, i - 1);
            if (xup <= eps) y0 = solve(i, x, i + 1, xup);
            else if (xdn <= eps) y0 = solve(i, x, i - 1, xdn);
            else y0 = (xdn <= xup ? solve(i, x, i - 1, xdn) : solve(i, x, i + 1, xup));
            break;
        }
    }
    for (int i = 0; i <= 100000; i += 199) {
        double x = query(i, 0, i, 100000);
        if (x > eps) {
            double xup = query(i + 1, 0, i + 1, 100000);
            double xdn = query(i - 1, 0, i - 1, 100000);
            if (xup <= eps) x0 = solve(i, x, i + 1, xup);
            else if (xdn <= eps) x0 = solve(i, x, i - 1, xdn);
            else x0 = (xdn <= xup ? solve(i, x, i - 1, xdn) : solve(i, x, i + 1, xup));
            break;
        }
    }
    printf("answer %d %d %d\n", int(x0 + 0.5), int(y0 + 0.5), int(r + 0.5));
    fflush(stdout);
    return 0;
}