loading SCIP...
11 41922 true
9 26 27 30 45 47 63 65 69 83 91