loading SCIP...
17 27000 true
5 10 17 20 23 38 39 43 54 55 59 66 70 79 85 93 99