loading SCIP...
9 49109 true
0 16 20 25 28 47 48 63 91