loading SCIP...
26 14313 true
0 10 11 12 13 15 20 24 34 35 41 42 55 56 59 68 69 81 85 90 91 92 93 94 97 98