It is possible that better integer solutions exist. To make sure Solver finds the very best solution, set the integer tolerance ...