loading SCIP...
13 40734 true
15 29 37 41 46 54 55 60 71 76 77 81 92