#include <bits/stdc++.h>
using namespace std;
const int mod = 1000000007;
long long int dp[2][320][320];
int main() {
  int n, m, x;
  scanf("%d%d%d", &n, &m, &x);
  if (n > m)
    puts("0");
  else {
    dp[0][0][0] = 1;
    for (int i = 1; i <= m; i++)
      for (int l = 0; l <= n; l++)
        for (int r = 0; r <= l; r++) {
          dp[i & 1][l][r] = 0;
          if (i == x) {
            if (l) dp[i & 1][l][r] += dp[~i & 1][l - 1][r];
            if (l && r) dp[i & 1][l][r] += dp[~i & 1][l - 1][r - 1];
          } else {
            dp[i & 1][l][r] += dp[~i & 1][l][r];
            if (l - 1 >= r) dp[i & 1][l][r] += dp[~i & 1][l - 1][r];
            if (r) dp[i & 1][l][r] += dp[~i & 1][l][r - 1];
            if (l && r) dp[i & 1][l][r] += dp[~i & 1][l - 1][r - 1];
          }
          dp[i & 1][l][r] %= mod;
        }
    long long int ans = dp[m & 1][n][n];
    for (int i = 1; i <= n; i++) ans = (ans * i) % mod;
    printf("%I64d\n", ans);
  }
  return 0;
}
