use std::io::*; fn main() { let mut s: String = String::new(); std::io::stdin().read_to_string(&mut s).ok(); let mut itr = s.trim().split_whitespace(); let n: usize = itr.next().unwrap().parse().unwrap(); let mut z: i64 = itr.next().unwrap().parse().unwrap(); let mut y: i64 = itr.next().unwrap().parse().unwrap(); let mut x: i64 = itr.next().unwrap().parse().unwrap(); let mut a: std::collections::BinaryHeap = (0..n) .map(|_| itr.next().unwrap().parse().unwrap()) .collect(); while let Some(mut b) = a.pop() { if b < 0 { println!("Yes"); return; } else if x == 0 && y == 0 && z == 0 { println!("No"); return; } if x > 0 { if b / 10000 <= x { x -= b / 10000; if b < 10000 { x -= 1; b = -1; } else { b %= 10000; } } else { b -= x * 10000; x = 0; } } else if y > 0 { if b / 5000 <= y { y -= b / 5000; if b < 5000 { y -= 1; b = -1; } else { b %= 5000; } } else { b -= y * 5000; y = 0; } } else if z > 0 { if b / 1000 <= z { z -= b / 1000; if b < 1000 { z -= 1; b = -1; } else { b %= 1000; } } else { b -= z * 1000; z = 0; } } a.push(b); } }