loading SCIP...
8 31625 true
0 1 53 78 86 92 95 98