ion version: Given a set I = { 0,..., n} of items, integer weights a i and utilities c i associated with each item i ∈ I, a maximum weight capacity b, and an integer B, is there K ⊆ I such that ∑ i ∈ K a i ≤ b and ∑ i ∈ K c i ≥ B? 