loading SCIP...
9 44469 true
7 18 22 28 38 42 68 72 87