solver.hh 879 Bytes