loading SCIP...
31 9125 true
6 8 15 16 17 22 25 27 28 29 39 40 50 51 54 55 56 57 59 62 63 66 71 72 75 76 78 80 88 89 97