loading SCIP...
16 31500 true
1 4 10 15 18 27 29 38 41 48 51 57 76 78 80 95