loading SCIP...
10 45562 true
4 17 27 32 38 42 62 66 71 85