n,q=map(int,input().split())

x=[]
for i in range(2,1001,2):
  print('?',i-1,n,i,n)
  v=input()=='1'
  x+=[[i-v,i-(v^1)]]
a,b=x[0]

for i in range(1,500):
  p,q=x[i]
  print('?',a,a,p,p)
  if input()=='0':
    a=p
  print('?',b,n,q,n)
  if input()=='1':
    b=q
    
print('!',a,a,b,n)