loading SCIP...
8 28656 true
0 4 13 49 68 71 73 97