#include <stdio.h>
#define UKN 200

int check(int x,int y,int z,int v)
{
    int ret;

    if(x == UKN) printf("? %d %d %d\n",v,y,z);
    else if(y == UKN) printf("? %d %d %d\n",x,v,z);
    else printf("? %d %d %d\n",x,y,v);
    fflush(stdout);

    scanf("%d",&ret);
    return ret;
}

int work(int x,int y,int z)
{
    int head,tail,mid1,mid2,d1,d2;
    int best,ret;

    head = -150; tail = 150;
    while(tail-head > 5)
    {
        mid1 = head + (tail-head)/3;
        mid2 = head + (tail-head)*2/3;
        d1 = check(x,y,z,mid1);
        d2 = check(x,y,z,mid2);
        if(d1 > d2) head = mid1;
        else tail = mid2;
    }

    best = check(x,y,z,head); ret = head;
    for(head++;head<=tail;head++)
    {
        d1 = check(x,y,z,head);
        if(d1 < best) best = d1, ret = head;
    }
    return ret;
}

int main()
{
    int x,y,z;
    x = work(UKN,0,0);
    y = work(x,UKN,0);
    z = work(x,y,UKN);
    printf("! %d %d %d\n",x,y,z);
    fflush(stdout);
    return 0;
}