loading SCIP...
12 37891 true
20 24 26 35 40 46 55 69 74 81 85 96