loading SCIP...
12 39468 true
6 10 17 21 33 51 53 56 58 88 90 92