Switch from MathSAT5 to CVC4