Update Solver.oz

testing, testing...