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