loading SCIP...
13 37047 true
0 13 25 44 53 54 56 59 60 65 79 87 98