loading SCIP...
10 48578 true
0 4 10 13 27 30 51 63 71 99