#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; using ull = unsigned long long; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template T gcd(T a, T b) { a = abs(a), b = abs(b); while (b > 0) { tie(a, b) = make_pair(b, a % b); } return a; } //mt19937 rnd(chrono::steady_clock::now().time_since_epoch().count()); constexpr long long INF = 1LL << 60; constexpr int inf = 1000000007; //constexpr long long mod = 1000000007LL; constexpr long long mod = 998244353; constexpr int MAX = 1100000; int main() { cin.tie(nullptr); ios::sync_with_stdio(false); ll n, V; cin >> n >> V; ll sm = 0; vector a(n); for (int i = 0; i < n; i++) cin >> a[i], sm += a[i]; if (sm <= V) { cout << "Draw" << endl; return 0; } vector dp((1 << n), -1); auto dfs = [&](auto &&self, int S)->int { if (dp[S] != -1) return dp[S]; int t = 0; ll sm = 0; for (int i = 0; i < n; i++) if (S >> i & 1) t ^= 1,sm += a[i]; if (sm > V) { if (t == 0) return dp[S] = 1; else return dp[S] = 0; } if (t == 0) { for (int i = 0; i < n; i++) { if (!(S >> i & 1)) { int f = self(self, S + (1 << i)); if (f == 1) { return dp[S] = 1; } } } return dp[S] = 0; } else { for (int i = 0; i < n; i++) { if (!(S >> i & 1)) { int f = self(self, S + (1 << i)); if (f == 0) { return dp[S] = 0; } } } return dp[S] = 1; } }; dfs(dfs, 0); if (dp[0] == 1) cout << "First" << endl; else cout << "Second" << endl; }