loading SCIP...
30 10953 true
0 1 4 8 14 15 17 24 32 34 41 42 44 46 48 50 55 57 60 62 63 64 65 69 70 71 75 81 86 87