NodeIndex.unisat