loading SCIP...
14 39843 true
1 19 22 25 42 46 50 54 66 67 69 71 83 87