mathsat seems to work, arith only of course