Looks like something started working

Fixed minisat_wrapper - it used to exit(20) when it got UNSAT from
simplification.