#include <bits/stdc++.h>
int main() {
  int size = 0, a = 0;
  long long area = 0;
  long long S = 0;
  long long temp = 0;
  int x[2001];
  int y[2001];
  scanf("%d %lld", &size, &S);
  S *= 2;
  int s = S;
  for (int i = 0; i < size; i++) {
    scanf("%d %d", &x[i], &y[i]);
  }
  for (int i = 0; i < size; i++) {
    for (int j = i + 1; j < size; j++) {
      x[j] -= x[i];
      y[j] -= y[i];
    }
    for (int j = i + 1; j < size; j++) {
      for (int k = j + 1; k < size; k++) {
        a = x[j] * y[k] - x[k] * y[j];
        if (a == s) {
          area = x[j];
          area *= y[k];
          temp = y[j];
          temp *= x[k];
          area -= temp;
          if (area == S) {
            printf("Yes\n");
            printf("%d %d\n", x[i], y[i]);
            printf("%d %d\n", x[j] + x[i], y[j] + y[i]);
            printf("%d %d\n", x[k] + x[i], y[k] + y[i]);
            return 0;
          } else if (area == -S) {
            printf("Yes\n");
            printf("%d %d\n", x[i], y[i]);
            printf("%d %d\n", x[j] + x[i], y[j] + y[i]);
            printf("%d %d\n", x[k] + x[i], y[k] + y[i]);
            return 0;
          }
        } else if (a == -s) {
          area = x[j];
          area *= y[k];
          temp = y[j];
          temp *= x[k];
          area -= temp;
          if (area == S) {
            printf("Yes\n");
            printf("%d %d\n", x[i], y[i]);
            printf("%d %d\n", x[j] + x[i], y[j] + y[i]);
            printf("%d %d\n", x[k] + x[i], y[k] + y[i]);
            return 0;
          } else if (area == -S) {
            printf("Yes\n");
            printf("%d %d\n", x[i], y[i]);
            printf("%d %d\n", x[j] + x[i], y[j] + y[i]);
            printf("%d %d\n", x[k] + x[i], y[k] + y[i]);
            return 0;
          }
        }
      }
    }
    for (int j = i + 1; j < size; j++) {
      x[j] += x[i];
      y[j] += y[i];
    }
  }
  printf("No");
  return 0;
}
