Lower bounding optimization does not work for maxsat
When using the lower bounding technique on a maxsat problem, the solver does not stop when the formula becomes satisfiable.
The enclosed wcnf has an optimal solution of 400, found using upper bounding, but not found using lower bounding.