local mmi, mma = math.min, math.max local mfl, mce = math.floor, math.ceil local n, x, y, z = io.read("*n", "*n", "*n", "*n") local t = {} for i = 1, n do t[i] = io.read("*n") end table.sort(t) for i = n, 1, -1 do if 10000 <= t[i] then local use = mmi(z, mfl(t[i] / 10000)) t[i] = t[i] - use * 10000 z = z - use else break end if z == 0 then break end end table.sort(t) for i = #t, 1, -1 do if z == 0 then break end table.remove(t) z = z - 1 end for i = #t, 1, -1 do if 5000 <= t[i] then local use = mmi(y, mfl(t[i] / 5000)) t[i] = t[i] - use * 5000 y = y - use else break end if y == 0 then break end end table.sort(t) for i = #t, 1, -1 do if y == 0 then break end table.remove(t) y = y - 1 end for i = 1, #t do x = x - mce((t[i] + 1) / 1000) end print(0 <= x and "Yes" or "No")