aig 5 1 1 0 3 1
10
5


i0 pi0
b0 AIGER_NEVER