solver.hrc 1.76 KB