/* -*- coding: utf-8 -*- * * 1267.cc: No.1267 Stop and Coin Game - yukicoder */ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; /* constant */ const int MAX_N = 20; const int NBITS = 1 << MAX_N; /* typedef */ typedef long long ll; /* global variables */ ll as[MAX_N], ass[NBITS]; bool dp[NBITS]; /* subroutines */ /* main */ int main() { int n; ll v; scanf("%d%lld", &n, &v); for (int i = 0; i < n; i++) scanf("%lld", as + i); int nbits = 1 << n, nmsk = nbits - 1; ass[0] = 0; for (int bits = 1, msb = 1, msi = 0; bits < nbits; bits++) { if ((msb << 1) <= bits) msb <<= 1, msi++; ass[bits] = ass[bits ^ msb] + as[msi]; } ll asum = ass[nmsk]; if (asum <= v) { puts("Draw"); return 0; } for (int bits = 0; bits < nbits; bits++) { if (asum - ass[bits] > v) dp[bits] = true; else for (int i = 0, bi = 1; i < n; i++, bi <<= 1) if ((bits & bi) && ! dp[bits ^ bi]) { dp[bits] = true; break; } } if (dp[nmsk]) puts("First"); else puts("Second"); return 0; }