Allow benchmarks to be run with MathSAT5