loading SCIP...
13 38906 true
6 7 20 26 32 39 47 54 56 62 67 69 87