loading SCIP...
12 39968 true
3 4 10 20 33 39 64 76 81 89 94 97