X x 11 x 15 leq 0