loading SCIP...
13 37297 true
5 10 13 23 28 29 30 50 58 69 79 81 92