loading SCIP...
17 30594 true
6 10 27 28 31 39 45 46 50 61 66 67 68 87 89 91 94