loading SCIP...
16 34078 true
0 20 31 32 38 40 52 58 60 67 71 82 87 88 91 97