loading SCIP...
24 16859 true
0 1 10 12 21 25 26 28 30 33 46 48 52 53 54 55 60 68 75 86 88 90 93 98