loading SCIP...
17 30328 true
10 13 16 18 20 24 25 35 40 52 56 63 84 92 95 96 98