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 + 1 <= x { x -= b / 10000 + 1; b = -1; } else { b -= x * 10000; x = 0; } } else if y > 0 { if b / 5000 + 1 <= y { y -= b / 5000 + 1; b = -1; } else { b -= y * 5000; y = 0; } } else if z > 0 { if b / 1000 + 1 <= z { z -= b / 1000 + 1; b = -1; } else { b -= z * 1000; z = 0; } } a.push(b); } }