X 2 7x 12 geq 0