Re-apply r202551, which introduced new PBQP solver.