debugging getkcoverwithminisat
phat merge