give up using minisat directly and I will modify the whole of API on my own using set of set, so sad