loading SCIP...
33 6406 true
0 7 9 16 19 24 27 28 33 36 38 39 40 42 44 46 56 57 63 70 71 73 75 78 81 82 84 88 91 92 95 96 99