loading SCIP...
14 34156 true
1 2 5 8 19 27 31 70 72 73 83 86 89 96