loading SCIP...
31 8000 true
0 5 14 15 24 26 29 34 36 37 38 40 42 46 48 68 69 72 73 75 76 77 79 82 85 90 91 92 96 97 99