loading SCIP...
11 27953 true
14 19 20 43 44 54 56 63 69 82 98