Unsat core generation done. Now shows more info
Edited console options