The decision version of set packing asks,

Is there a packing larger than a given cardinality?