loading SCIP...
12 38531 true
0 18 24 27 33 42 50 52 61 62 65 83