solver.hrc 1.57 KB