loading SCIP...
17 32750 true
7 9 12 14 15 18 31 32 34 37 40 57 70 71 81 87 88