manuals for minisat versions