12k-2\leq 6036