added larger unit test from satlib for incremental sat. resetting of solver should be complete now