loading SCIP...
11 34281 true
5 8 9 18 36 54 72 73 74 87 95