loading SCIP...
10 43375 true
17 21 23 26 39 51 77 78 94 98