loading SCIP...
20 23500 true
10 11 13 15 19 31 38 39 42 44 60 65 68 75 77 88 90 91 92 96