Output: [|-x+10>=0; x-5>=0|]