X 2 10x 21 leq 0