#include #define rep(i,n) for (int i = 0; i < (n); ++i) #define rrep(i,n) for (int i = (n)-1; i >= 0; --i) #define chmax(a, b) a = max(a, b) #define chmin(a, b) a = min(a, b) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() using namespace std; using ll = long long; using P = pair; using VI = vector; using VVI = vector; std::vector compute_grundy(std::vector>& to) { int sz = to.size(); std::vector vsorted(sz); std::vector indeg(sz); for(int i = 0; i < sz; i++) for(int j: to[i]) indeg[j]++; std::vector avail; for(int i = 0; i < sz; i++) if (indeg[i] == 0) avail.push_back(i); int nxt_idx = 0; while(!avail.empty()) { int u = avail.back(); avail.pop_back(); vsorted[nxt_idx++] = u; for(int v: to[u]) if (--indeg[v] == 0) avail.push_back(v); } std::vector grundy(sz), used(sz, -1); for(int i = sz - 1; i >= 0; i--) { int u = vsorted[i]; for(int v: to[u]) used[grundy[v]] = u; int g = 0; while(used[g] == u) g++; grundy[u] = g; } return grundy; } int main() { int n; ll v; cin >> n >> v; vector a(n); ll tot = 0; rep(i, n) { cin >> a[i]; tot += a[i]; } if (tot <= v) { cout << "Draw" << endl; return 0; } int smx = 1 << n; VVI to(smx); rep(s, smx) { ll now = 0; rep(i, n) if (s >> i & 1) now += a[i]; rep(i, n) if ((s >> i & 1) == 0 && now + a[i] <= v) { to[s].push_back(s | 1 << i); } } auto g = compute_grundy(to); if (g[0]) cout << "First" << endl; else cout << "Second" << endl; }