loading SCIP...
13 37360 true
7 12 17 32 36 41 54 55 59 69 72 76 97