loading SCIP...
11 40547 true
14 16 17 46 63 67 73 79 89 92 95