di_nextsolvable
goto di_nextsolvable;
case di_nextsolvable: di_nextsolvable:
di->state = di_nextsolvable;