11 if(s == nil) return 1;
12 s->scrap = a = satrealloc(s, nil, s->nvar * sizeof(int));
14 for(i = 0; i < s->nvar; i++){
15 if((s->var[i].flags & VARUSER) != 0) continue;
16 switch(s->lit[2*i].val){
17 case 0: a[n++] = i+1; break;
18 case 1: a[n++] = -(i+1); break;
24 s->var[abs(a[0])-1].flags &= ~VARUSER;