New PBQP solver.