SimplexBnBSolver works