split versions of minisat