loading SCIP...
11 43421 true
0 2 21 38 48 56 65 81 82 90 93