loading SCIP...
10 46391 true
10 16 35 46 59 65 75 79 87 92