loading SCIP...
40 2188 true
0 1 6 11 12 14 16 19 20 22 23 27 28 29 32 38 39 41 43 44 46 52 53 58 63 65 66 67 68 70 73 76 82 86 90 91 92 96 98 99