loading SCIP...
12 37390 true
4 9 10 17 24 27 35 45 48 52 71 91