x\leq 2012