1.6.39. Records solver_*