Fix the value returned by the MAXSAT solver
The maxsat solver currently displays a value for maxsat which is an upper bound of the real value until an optimal solution is found, because some selector variables may be satisfied while the corresponding clause is not falsified.
While it does not make the solver incorrect, computing a correct value might help finding faster an optimal solution.