loading SCIP...
41 1640 true
0 1 2 12 13 15 16 17 18 24 25 26 33 34 36 38 40 41 45 48 52 55 57 58 61 62 65 67 68 71 72 79 84 87 88 89 90 91 93 94 98