loading SCIP...
17 33421 true
0 1 8 17 39 40 41 42 44 47 48 59 63 70 72 76 87