loading SCIP...
10 42281 true
3 22 25 36 40 46 48 73 76 84