#include <bits/stdc++.h>
using namespace std;
const int mod = 1000000007;
const long long CUT = mod * 1ll * 1e6;
const int MAXN = 319;
long long dp[2][MAXN][MAXN];
int n, m;
int tc = 0;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  scanf("%d%d", &n, &m);
  if (n > m) {
    printf("0");
    return 0;
  }
  int x;
  scanf("%d", &x);
  memset(dp, 0, sizeof(dp));
  dp[0][0][0] = 1;
  for (auto i = 1; i != m + 1; i++) {
    for (auto j = 0; j != n + 1; j++)
      for (auto k = 0; k != j + 1; k++) dp[1 - tc][j][k] = 0;
    for (auto j = 0; j != n + 1; j++) {
      for (auto k = 0; k != j + 1; k++) {
        if (dp[tc][j][k] == 0) continue;
        if (dp[tc][j][k] >= CUT) dp[tc][j][k] %= mod;
        if (i == x) {
          dp[1 - tc][j + 1][k + 1] += dp[tc][j][k];
          dp[1 - tc][j + 1][k] += dp[tc][j][k];
          continue;
        }
        dp[1 - tc][j][k] += dp[tc][j][k];
        if (k > 0) dp[1 - tc][j][k - 1] += dp[tc][j][k];
        dp[1 - tc][j + 1][k + 1] += dp[tc][j][k];
        dp[1 - tc][j + 1][k] += dp[tc][j][k];
      }
    }
    tc = 1 - tc;
  }
  long long ans = dp[tc][n][0] % mod;
  for (auto i = 1; i != n + 1; i++) ans = (ans * i) % mod;
  printf("%lld", ans);
  return 0;
}
