loading SCIP...
10 39547 true
1 12 20 39 48 54 58 63 64 92