package main

import "fmt"

func main() {
	sieve := sieveOfEratosthenes(200)

	fmt.Println("?", 1)
	var c int
	fmt.Scan(&c)
	switch c {
	case 0:
		fmt.Println(100)

		var d int
		fmt.Scan(&d)
		a, b := d, d+1
		fmt.Println("!", a, b)
	default:
		a := c - 1
		var y int
		for x := len(sieve) - 1; ; x-- {
			if !sieve[x] {
				continue
			}
			if x-a > 100 {
				continue
			}
			y = x - a
			break
		}
		fmt.Println(y)

		var d int
		fmt.Scan(&d)
		b := (a + y) - d
		fmt.Println(a, b)
	}
}

func sieveOfEratosthenes(n int) []bool {
	bs := make([]bool, n+1)
	for i := 2; i < len(bs); i++ {
		bs[i] = true
	}
	for p := 2; p <= n; p++ {
		if !bs[p] {
			continue
		}
		for x := p * p; x <= n; x += p {
			bs[x] = false
		}
	}
	return bs
}