12k+2\leq 6036