Text this: Parallelizing simplex within SMT solvers.