Add support for MathSAT5