Hot: solvers