Redirecting to the new MathSAT site: http://mathsat.itc.it/....