#![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]; 'outer: for state in (0..1 << n).rev() { let weight = (0..n) .filter(|&j| (state >> j) & 1 == 1) .map(|x| a[x]) .sum::(); dp[state] = true; if weight > v { continue; } for j in 0..20 { if (state >> j) & 1 == 1 { continue; } if dp[state | j] { dp[state] = false; continue 'outer; } } } // debug!(dp); if (0..n).all(|x| dp[1 << x]) { println!("Second"); } else { println!("First"); } } 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() }