The MathSAT 3 System