try bug fix on solver's upper bracket
(#420)