loading SCIP...
18 29828 true
10 17 19 27 28 29 32 35 38 41 46 49 50 58 59 65 83 90