loading SCIP...
10 42000 true
1 16 32 36 37 58 60 67 69 86