BranchAndXSolver