#include <stdio.h>

int main () {
  int n = 0;
  char s[4] = "";
  
  int res = 0;
  
  int max = 1;
  int rem[2] = {};
  
  res = scanf("%d", &n);
  
  printf("? %d %d 2 %d\n", max, 2*n, 2*n);
  fflush(stdout);
  res = scanf("%s", s);
  
  if (s[0] == 'Y') {
    max = 2;
  }
  
  printf("? %d %d 3 %d\n", max, 2*n, 2*n);
  fflush(stdout);
  res = scanf("%s", s);
  
  if (s[0] == 'Y') {
    max = 3;
  }
  
  if (max == 1) {
    rem[0] = 2;
    rem[1] = 3;
  } else if (max == 2) {
    rem[0] = 1;
    rem[1] = 3;
  } else {
    rem[0] = 1;
    rem[1] = 2;
  }
  
  printf("? %d %d %d %d\n", rem[0], n, rem[1], n);
  fflush(stdout);
  res = scanf("%s", s);
  
  if (s[0] == 'Y') {
    int s = rem[0];
    rem[0] = rem[1];
    rem[1] = s;
  }
  
  printf("!");
  for (int i = 0; i < n; i++) {
    printf(" %d %d", rem[0], max);
  }
  for (int i = 0; i < n; i++) {
    printf(" %d %d", rem[1], max);
  }
  for (int i = 0; i < n; i++) {
    printf(" %d %d", rem[0], rem[1]);
  }
  printf("\n");
  
  return 0;
}