loading SCIP...
17 34609 true
31 32 34 36 41 42 43 53 55 57 59 62 68 83 90 91 94