loading SCIP...
9 48641 true
0 13 21 48 49 65 66 77 94