loading SCIP...
13 37937 true
7 19 20 39 40 58 64 68 76 77 85 91 99