Attributes
. SCIP number . Values
a81ebdf3-2805-4c2b-8bd3.
(8)