Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions (ArXiv cs.LO Recent Papers, 2026)