#include <bits/stdc++.h>
using namespace std;
template <class t>
inline t read(t &x) {
  char c = getchar();
  bool f = 0;
  x = 0;
  while (!isdigit(c)) f |= c == '-', c = getchar();
  while (isdigit(c)) x = (x << 1) + (x << 3) + (c ^ 48), c = getchar();
  if (f) x = -x;
  return x;
}
template <class t, class... A>
inline void read(t &x, A &...a) {
  read(x);
  read(a...);
}
template <class t>
inline void write(t x) {
  if (x < 0)
    putchar('-'), write(-x);
  else {
    if (x > 9) write(x / 10);
    putchar('0' + x % 10);
  }
}
const int mod = 1e9 + 7;
int ans = 1, n, val, pos, a, b;
signed main() {
  read(n, val, pos);
  int l = 0, r = n;
  while (l < r) {
    int mid = l + r >> 1;
    if (mid < pos) a++;
    if (mid > pos) b++;
    if (mid <= pos)
      l = mid + 1;
    else
      r = mid;
  }
  for (int i = 1; i <= n - 1 - a - b; i++) ans = 1ll * ans * i % mod;
  for (int i = 0; i < a; i++) ans = 1ll * ans * (val - 1 - i) % mod;
  for (int i = 0; i < b; i++) ans = 1ll * ans * (n - val - i) % mod;
  write(ans);
}
