loading SCIP...
12 39719 true
6 8 24 30 37 40 46 50 66 67 78 79