loading SCIP...
18 30750 true
8 14 21 26 27 29 33 38 48 56 67 71 72 78 81 82 89 94