The MathSAT solver -- a progress report