loading SCIP...
11 43375 true
22 26 32 34 39 45 54 69 85 90 92