最早使用cmt的minisat改进版求解器——vsids-master-1\spatial_mvsids