An Effective Orchestral Approach to Satisfiability Modulo Prime Fields (ArXiv cs.LO Recent Papers, 2026)