loading SCIP...
12 39015 true
14 18 36 41 45 53 65 72 81 82 92 97