loading SCIP...
10 45141 true
6 10 11 13 16 38 41 52 54 78