loading SCIP...
11 34641 true
22 23 26 41 52 55 58 75 81 87 92