-x<1-12x,