loading SCIP...
18 27938 true
10 14 17 19 31 36 38 40 41 54 56 58 62 71 78 84 88 94