loading SCIP...
44 1078 true
0 5 6 7 8 9 11 12 17 23 24 30 32 33 35 36 37 38 39 40 41 42 43 45 47 48 52 55 58 59 61 66 69 72 76 78 83 84 85 87 93 94 98 99