The Effect Of Totalizer Bound Tightening On Maxsat Solving