loading SCIP...
39 2812 true
1 4 5 7 10 14 16 18 20 29 37 38 41 45 47 49 50 53 55 56 62 63 64 65 70 72 73 74 75 77 78 81 86 87 88 92 94 96 99