loading SCIP...
10 24968 true
21 22 24 36 39 47 51 62 72 73