Text this: An Effective Orchestral Approach to Satisfiability Modulo Prime Fields