loading SCIP...
30 9156 true
0 2 3 4 5 10 19 21 34 35 37 40 43 45 49 50 53 60 62 63 65 68 73 77 80 84 89 90 98 99