loading SCIP...
38 1906 true
0 1 2 4 7 11 18 22 23 25 27 28 30 38 39 44 52 53 57 59 60 61 63 64 67 69 70 73 75 80 81 84 89 91 92 93 94 96