UCPP Solver Validated with Gurobi