loading SCIP...
33 5484 true
1 3 4 15 18 22 24 34 35 37 38 39 43 44 48 49 52 53 59 61 63 67 70 72 73 74 79 87 92 94 96 97 98