loading SCIP...
8 33468 true
15 22 25 28 37 39 75 89