loading SCIP...
9 48438 true
15 29 31 40 44 51 63 80 97