Output: [|-x+8>=0; x+2>=0|]