improve PBO.MSU and PBO.UnsatBased a bit