6019\leq 12k