iftruetetiffalseteememberxnilfalsememberxconsyysifeqxytruememberxyseqnilniltrueeqOx0yeqxyeq0x1yfalseeq1x0yfalseeq1x1yeqxynegate0x1xnegate1x0xchoiceconsxxsxchoiceconsxxschoicexsguessnilnilguessconsclausecnfconschoiceclauseguesscnfverifyniltrueverifyconsllsifmembernegatellsfalseverifylssatcnfsatckcnfguesscnfsatckcnfassignifverifyassignassignunsatif3true0false0member2nil0cons2eq2O10111negate1choice1guess1verify1sat1satck2unsat0FULLtct_complexity/TCT_12/sat.trs