loading SCIP...
20 25360 true
6 7 15 18 22 26 27 37 42 52 55 64 71 73 84 86 93 95 96 99