loading SCIP...
33 8094 true
0 1 4 7 8 11 16 18 22 25 28 30 31 32 38 39 40 42 51 53 55 56 59 62 68 69 70 74 78 83 91 93 96