corrected a bug in dimacs solution verification
basic triggered pushing
during minimization focus on those variables such that without them more witnesses will potentially get killed