loading SCIP...
21 23157 true
0 2 7 22 26 27 28 33 35 37 50 55 58 61 70 76 79 80 83 90 95