//#include #include //#include using namespace std; //using namespace atcoder; typedef long long ll; typedef long double ld; typedef unsigned int uint; typedef unsigned long long ull; typedef pair p; const int INF = 1e9; const double eps = 1e-7; const ll LINF = ll(1e18); const int MOD = 1000000007; const int dx[4] = {0, 1, 0, -1}, dy[4] = {-1, 0, 1, 0}; const int Dx[8] = {0, 1, 1, 1, 0, -1, -1, -1}, Dy[8] = {-1, -1, 0, 1, 1, 1, 0, -1}; const long double pi = 4 * atan(1); #define yes cout << "Yes" << endl #define YES cout << "YES" << endl #define no cout << "No" << endl #define NO cout << "NO" << endl #define rep(i, n) for (int i = 0; i < n; i++) #define ALL(v) v.begin(), v.end() #define debug(v) \ cout << #v << ":"; \ for (auto x : v) \ { \ cout << x << ' '; \ } \ cout << endl; template bool chmax(T &a, const T &b) { if (a < b) { a = b; return 1; } return 0; } template bool chmin(T &a, const T &b) { if (b < a) { a = b; return 1; } return 0; } template istream &operator>>(istream &is, vector &v) { for (T &x : v) is >> x; return is; } //cout< &dp, vector &a) { if (dp[cur] != -1) { return; } ll sum = 0; rep(i, n) { if (((1 << i) & cur) == 0) { sum += a[i]; } } ll sub = v - sum; bool res = false; rep(i, n) { if (a[i] <= sub && ((1 << i) & cur)) { dfs(cur - (1 << i), dp, a); if (dp[cur - (1 << i)] == 0) { res = true; } } } if(res){ dp[cur]=1; } else{ dp[cur]=0; } } int main() { cin.tie(0); ios::sync_with_stdio(false); cin >> n >> v; vector a(n); cin >> a; ll sum = 0; rep(i,n){ sum+=a[i]; } if(sum<=v){ return cout<<"Draw"<<"\n",0; } vector dp(1 << n, -1); dfs((1 << n) - 1, dp, a); if(dp[(1<