Handle dumping simplified/learnts when the problem is UNSAT
Adding "c " to text printed to console