loading SCIP...
17 32594 true
0 2 9 32 38 40 42 49 52 53 56 58 73 91 93 94 98