loading SCIP...
13 35594 true
9 12 14 22 24 28 32 44 52 66 75 89 92