loading SCIP...
12 38922 true
31 34 42 45 57 58 64 67 68 70 72 84