#include <cstdio>
using namespace std;

int main(){
	scanf("%*d");
	puts("? 0 0 0 0");
	puts("? 0 0 0 0");
	puts("? 0 0 0 0");
	puts("! 1 2");
}