loading SCIP...
37 3000 true
0 12 13 16 18 22 23 25 27 29 30 32 33 34 36 42 44 46 48 50 51 56 62 66 71 72 75 83 84 85 89 90 91 92 96 97 98