import sys
ans = [0,0,0]
ans2 = [-1,-1,-1]
while ans != ans2:
    ans2[:] = ans[:]
    for i in range(3):
        up = 100
        down = -100
        
        if i == 0:
            while up != down:
                print("?", up, ans[1], ans[2])
                sys.stdout.flush()
                d1 = int(input())
                sys.stdout.flush()
                print("?", down, ans[1], ans[2])
                sys.stdout.flush()
                d2 = int(input())
                sys.stdout.flush()
                if d1 < d2:
                    down = (up + down)//2 + 1
                else:
                    up = (up + down)//2
        elif i == 1:
            while up != down:
                print("?", ans[0], up, ans[2])
                sys.stdout.flush()
                d1 = int(input())
                sys.stdout.flush()
                print("?", ans[0], down, ans[2])
                sys.stdout.flush()
                d2 = int(input())
                sys.stdout.flush()
                if d1 < d2:
                    down = (up + down)//2 + 1
                else:
                    up = (up + down)//2 
        elif i == 2:
            while up != down:
                print("?", ans[0], ans[1], up)
                sys.stdout.flush()
                d1 = int(input())
                sys.stdout.flush()
                print("?", ans[0], ans[1], down)
                sys.stdout.flush()
                d2 = int(input())
                sys.stdout.flush()
                if d1 < d2:
                    down = (up + down)//2 + 1
                else:
                    up = (up + down)//2
                    
        ans[i] = up


print("!", ans[0], ans[1], ans[2])
sys.stdout.flush()