import sequtils,strutils

var
    P : array[3, array[2, int]]
P = [[-100, 100], [-100, 100], [-100, 100]]

for i in 0..2:
    while P[i][0] < P[i][1]:
        var
            m = (P[i][0] + P[i][1]) div 2
            a = 0
            b = 0
            c = 0
        if i == 0:
            echo "? ",@[P[i][0], 0, 0].join(" ")
            a = stdin.readline.parseInt
            echo "? ",@[m, 0, 0].join(" ")
            b = stdin.readline.parseInt
            echo "? ",@[P[i][1], 0, 0].join(" ")
            c = stdin.readline.parseInt
        if i == 1:
            echo "? ",@[0, P[i][0], 0].join(" ")
            a = stdin.readline.parseInt
            echo "? ",@[0, m, 0].join(" ")
            b = stdin.readline.parseInt
            echo "? ",@[0, P[i][1], 0].join(" ")
            c = stdin.readline.parseInt
        if i == 2:
            echo "? ",@[0, 0, P[i][0]].join(" ")
            a = stdin.readline.parseInt
            echo "? ",@[0, 0, m].join(" ")
            b = stdin.readline.parseInt
            echo "? ",@[0, 0, P[i][1]].join(" ")
            c = stdin.readline.parseInt
    
        if a > b and b >= c:
            P[i][0] = m
        elif a > b and b > c:
            P[i][0] = P[i][1]
        elif a > b and b < c and a < c:
            P[i][1] = m
        elif a > b and b < c and a > c:
            P[i][0] = m
        elif a > b and b < c and a == c:
            P[i][0] = m
            P[i][1] = m
        elif a <= b and b < c and P[i][0] == m:
            P[i][1] = m
        elif a < b and b < c:
            P[i][1] = P[i][0]
echo "! ",@[P[0].join(" "), P[1].join(" "), P[2].join(" ")].join(" ")