loading SCIP...
12 40656 true
22 24 29 46 56 58 59 76 79 86 88 91