#![allow(unused_imports)] use std::cmp::*; use std::collections::*; use std::io::Write; use std::ops::Bound::*; #[allow(unused_macros)] macro_rules! debug { ($($e:expr),*) => { #[cfg(debug_assertions)] $({ let (e, mut err) = (stringify!($e), std::io::stderr()); writeln!(err, "{} = {:?}", e, $e).unwrap() })* }; } fn main() { let v = read_vec::(); let (n, v) = (v[0] as usize, v[1]); let a = read_vec::(); if a.iter().sum::() <= v { println!("Draw"); return; } let mut dp = vec![false; 1 << n]; for state in (0..1 << n).rev() { let weight = (0..n) .filter(|&j| (state >> j) & 1 == 1) .map(|x| a[x]) .sum::(); // debug!((state, weight)); if weight > v { dp[state] = true; continue; } let mut found = false; for j in 0..n { if state | (1 << j) == state { continue; } if !dp[state | (1 << j)] { found = true; } } if found { dp[state] = true; } } //debug!(dp); if dp[0] { println!("First"); } else { println!("Second"); } } fn read() -> T { let mut s = String::new(); std::io::stdin().read_line(&mut s).ok(); s.trim().parse().ok().unwrap() } fn read_vec() -> Vec { read::() .split_whitespace() .map(|e| e.parse().ok().unwrap()) .collect() }