#include<bits/stdc++.h>
using lint=long long;
using real=long double;
void answer(std::vector<lint>const&a){
    std::cout<<"!";
    for(lint x:a)std::cout<<" "<<x;
    std::cout<<std::endl;
    exit(0);
}
lint query(std::vector<lint>const&a){
    std::cout<<"?";
    for(lint x:a)std::cout<<" "<<x;
    std::cout<<std::endl;
    lint x;std::cin>>x;
    return x;
}
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    std::vector<lint>ans(3);
    for(lint i=0;i<3;i++){
        auto query1=[&](lint x){
            ans.at(i)=x;
            return query(ans);
        };
        lint l=0,r=100;
        while(1<r-l){
            lint c=(r+l)/2;
            (query1(c-1)<query1(c)?r:l)=c;
        }
        ans.at(i)=query1(l)<query1(r)?l:r;
    }
    answer(ans);
}