start to use minisat within python