loading SCIP...
10 43907 true
7 12 13 20 39 59 62 76 78 99