loading SCIP...
8 36031 true
17 33 35 42 43 55 67 84