loading SCIP...
9 46734 true
5 22 50 54 55 61 63 78 86