update mathematica solver