added exporting learnt clauses