loading SCIP...
17 34359 true
1 13 18 22 35 39 40 46 48 62 67 69 73 74 75 77 99