loading SCIP...
15 35547 true
5 14 25 27 29 33 38 47 57 58 73 76 78 90 94