loading SCIP...
11 38734 true
17 18 34 36 43 50 63 70 73 82 85