loading SCIP...
8 24484 true
0 1 27 40 44 48 63 64