#include <bits/stdc++.h>
using namespace std;

using int64 = long long;
using uint64 = unsigned long long;

int ask(int pi, int n)
{
    cout << "?";
    for (int i = 0; i < 3; i++)
    {
        cout << " " << (i == pi ? n : 0);
    }
    cout << endl;

    int D;
    cin >> D;
    return D;
}

// 第i成分を複数回の質問により特定する
int determine(int pi)
{
    int lb = -1, ub = 150;
    while (ub - lb > 1)
    {
        int mid = (ub + lb) / 2;

        int D1 = ask(pi, mid),
            D2 = ask(pi, mid + 1);

        if (D1 <= D2) ub = mid;
        else lb = mid;
    }
    return ub;
}

int main()
{
    cin.tie(nullptr);
    ios::sync_with_stdio(false);

    int x = determine(0),
        y = determine(1),
        z = determine(2);
    
    cout << "! " << x << " " << y << " " << z << endl;

    return 0;
}