loading SCIP...
13 36453 true
0 12 14 16 28 36 47 70 74 78 82 86 99