Add more unsat core tests for MathSAT5 and Z3