loading SCIP...
18 26640 true
1 3 5 8 9 29 33 36 37 39 46 49 54 63 65 74 78 98