loading SCIP...
26 14109 true
0 1 2 3 8 15 25 28 32 33 37 42 43 45 48 60 63 64 67 70 71 76 86 90 98 99