loading SCIP...
22 23125 true
0 1 14 17 19 21 23 27 30 33 37 39 46 54 58 66 74 89 90 92 93 96