loading SCIP...
10 43250 true
17 19 23 38 42 57 76 93 94 98