12k\leq 6038