loading SCIP...
19 26671 true
0 1 8 10 18 24 27 30 33 34 35 37 46 49 65 72 73 92 94