loading SCIP...
9 47610 true
16 21 32 44 62 89 90 92 99