loading SCIP...
11 41860 true
7 8 9 20 27 36 37 55 71 90 94