loading SCIP...
29 11672 true
6 8 9 10 17 20 26 28 31 32 44 45 46 47 48 50 55 57 63 64 66 67 74 80 81 83 89 93 99