loading SCIP...
10 41546 true
14 27 28 45 47 63 69 71 85 86