loading SCIP...
32 11078 true
7 11 14 15 19 24 25 27 30 32 33 34 35 41 42 44 45 48 49 50 51 61 62 64 66 70 72 73 74 79 92 94