Fixed copying of MiniSat solver.
Removed debug prints from MiniSat.