loading SCIP...
11 41156 true
0 10 12 29 40 45 57 59 63 84 95