loading SCIP...
36 4672 true
0 8 13 16 18 19 21 22 24 27 35 38 42 43 47 49 50 53 54 58 61 63 67 70 71 77 80 81 82 84 88 91 92 97 98 99