Output: [|-x+15>=0; x-11>=0|]