1.6.38. Records solver_*