6023\leq 12k