#include<stdio.h>

int main(){
    puts("! 3 2");
    puts("?????");
    fflush(stdout);
}