loading SCIP...
32 7703 true
0 1 2 4 5 8 10 12 13 14 20 21 24 28 29 30 37 42 44 49 50 56 57 66 71 75 77 89 91 92 93 97