item

open override fun item(): SatisfiableItem