loading SCIP...
10 47141 true
5 13 18 19 27 35 49 60 63 94