rlmv %:2.mv
init
_createAbn
#aig
#_sat_debug -v 1 -k 1 -o %:2.cnf