loading SCIP...
39 3766 true
0 2 3 4 7 11 16 17 19 21 23 24 27 28 30 31 34 36 38 44 45 50 55 56 69 72 73 74 79 80 82 87 91 92 93 94 96 97 98