Debugged GenSolver3.