Started writing up Minisat+