bugfix; compile options; show time it took for UNSAT verification