Utility predicates for packing: UNBOUNDED-SC-P and UNBOUNDED-TN-P