2x 1 x 6 leq 0