loading SCIP...
17 29485 true
6 9 11 24 32 35 48 49 50 55 58 70 71 77 89 94 98