12k\leq 6034