loading SCIP...
18 26859 true
10 16 21 40 41 43 45 50 51 60 61 63 70 77 89 95 98 99