aig 5 1 1 0 3 1
10
4


i0 po0
b0 AIGER_NEVER