Output: [|-Y+128>=0; Y+128>=0|]