loading SCIP...
37 2718 true
1 3 14 15 16 19 20 27 32 37 38 40 42 44 46 47 51 53 54 58 61 64 65 70 79 81 82 83 86 89 91 92 93 94 96 97 99