loading SCIP...
23 19422 true
9 11 12 15 19 22 24 25 32 33 39 40 45 49 55 62 65 73 84 85 90 94 97