loading SCIP...
15 36188 true
0 3 4 29 31 33 39 41 54 60 70 75 81 82 92