Added GenSolver3.