loading SCIP...
10 43203 true
17 22 23 39 40 57 58 68 79 92