loading SCIP...
12 39141 true
14 16 22 37 46 51 73 81 83 84 85 90