Fix the value of the objective function in maxsat when some constraints are satisfied
It looks like the value of the objective function in maxsat is not correct when some (say k) constraints are trivially satisfied.
In that case, the value of the objective function is l+k instead of l.