solver.hh 825 Bytes