finishing minisat implementation
merging minisat modifications to master