#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_VAL_MIN		-100									// 最小値
#define D_VAL_MAX		100										// 最大値
#define D_DIM_CNT		3										// 次元数

// 内部変数
static FILE *szpFpI;											// 入力
static int si1Len[D_VAL_MAX - D_VAL_MIN + 5];					// 距離
static int si1Pos[D_DIM_CNT];									// 宝物の座標

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
	fflush(stdout);
#endif

	return 0;
}

// 距離 - 取得
int
fGetLen(
	int piDNo					// <I> 次元 0～
	, int piVal					// <I> 値
)
{
	int i;
	char lc1Buf[1024], lc1Out[1024];

	// 対象位置
	int liVal = piVal - D_VAL_MIN;

	// 未取得
	if (si1Len[liVal] < 0) {

		// 質問
		strcpy(lc1Out, "?");
		for (i = 0; i < D_DIM_CNT; i++) {
			if (i == piDNo) {
				sprintf(lc1Buf, " %d", piVal);
			}
			else {
				strcpy(lc1Buf, " 0");
			}
			strcat(lc1Out, lc1Buf);
		}
		strcat(lc1Out, "\n");
		fOut(lc1Out);

		// 回答
		fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
		sscanf(lc1Buf, "%d", &si1Len[liVal]);
	}

	return si1Len[liVal];
}

// 実行メイン
int
fMain(
)
{
	int i;
	char lc1Buf[1024], lc1Out[1024];

	// 宝物の座標 - セット
	for (i = 0; i < D_DIM_CNT; i++) {

		// 初期化
		int liMin = D_VAL_MIN;
		int liMax = D_VAL_MAX;
		memset(si1Len, -1, sizeof(si1Len));

		// 算出
		while (1) {
			int liHalf = (liMax - liMin) / 2;

			// 距離 - 取得
			int liLenMin = fGetLen(i, liMin);
			int liLenMax = fGetLen(i, liMax);

			if (liHalf < 1) {
				if (liLenMin < liLenMax) {
					si1Pos[i] = liMin;
				}
				else {
					si1Pos[i] = liMax;
				}
				break;
			}
			else {
				if (liLenMin < liLenMax) {
					liMax -= liHalf;
				}
				else if (liLenMin > liLenMax) {
					liMin += liHalf;
				}
				else {
					si1Pos[i] = liMin + liHalf;
					break;
				}
			}
		}
	}

	// 出力
	strcpy(lc1Out, "!");
	for (i = 0; i < D_DIM_CNT; i++) {
		sprintf(lc1Buf, " %d", si1Pos[i]);
		strcat(lc1Out, lc1Buf);
	}
	strcat(lc1Out, "\n");
	fOut(lc1Out);

	return 0;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}