loading SCIP...
12 38796 true
7 11 18 22 33 40 43 51 83 84 85 93