#include<stdio.h>

int main(){
  printf("! 3 2\n");
  fflush(stdout);
  return 0;
}