loading SCIP...
11 33250 true
18 30 33 50 56 63 70 81 83 87 92