#include<bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using mint=modint998244353; //1000000007;
using ll=long long;
using pp=pair<ll,ll>;
#define sr string 
#define vc vector
#define fi first
#define se second
#define rep(i,n) for(ll i=0;i<(ll)n;i++)
#define pb push_back
#define all(v) v.begin(),v.end()
#define pque priority_queue
#define bpc(a) __builtin_popcount(a)
int main(){
  ll n,x;cin>>n>>x;
  vc<ll>v(n); rep(i,n)cin>>v[i];
  ll b=1<<n;
  vc<ll>dp(b,0);
  vc<ll>r(b,x);
  rep(i,b)rep(j,n)if(i>>j&1)r[i]-=v[j];
  if(r[b-1]>=0){
    cout<<"Draw";
    return 0;
  }
  rep(i,b)if(r[i]<0)dp[i]=1;
  for(int i=b-1;i>=0;i--)if(r[i]>=0){
    rep(j,n)if(~i>>j&1){
      if(dp[i|1<<j]==0)dp[i]=1;
    }
  }
  if(dp[0])cout<<"First";
  else cout<<"Second";
}