loading SCIP...
34 6047 true
0 5 6 11 22 25 26 29 30 37 38 43 44 45 51 53 54 58 60 61 66 71 75 76 78 85 87 91 92 94 96 97 98 99