right-uniqueness of a combinatorial auction