debug(solver)