Learnt clauses needed -- though sparse & vivify may be too much

Learnt clauses needed -- though sparse & vivify may be too much #39