loading SCIP...
18 31140 true
18 25 35 42 46 48 54 56 58 59 61 66 79 82 83 89 90 99