loading SCIP...
12 43922 true
4 11 13 25 30 38 50 59 61 75 80 82