Output: [|-x+9>=0; x-1>=0|]