loading SCIP...
12 39750 true
7 9 28 31 56 58 72 73 84 87 90 92