loading SCIP...
18 30641 true
18 26 28 39 40 48 49 52 57 67 75 82 83 87 89 91 96 98