#include <bits/stdc++.h>
using namespace std;
string FILENAME = "filename";
int dp[10000000];
int main() {
  int N, K;
  cin >> N >> K;
  vector<int> A(N);
  for (int i = 0; i < N; i++) cin >> A[i];
  fill_n(dp, 10000000, -1);
  sort(A.begin(), A.end());
  for (int i = 0; i < A[0]; i++) dp[i] = 0;
  for (int i = 0; i < 10000000; i++) {
    if (dp[i] == -1) {
      dp[i] = 0;
    }
    int other = dp[i] == 0 ? 1 : 0;
    for (int j = 0; j < N; j++) {
      if (other == 1) dp[i + A[j]] = 1;
    }
  }
  if (dp[K] == 0)
    cout << "Second" << endl;
  else
    cout << "First" << endl;
}
