fixed syntax errors on Solver.x10