loading SCIP...
19 26797 true
6 15 17 20 21 24 27 33 35 38 42 57 67 77 79 93 94 95 97