loading SCIP...
9 48562 true
4 9 39 48 50 68 81 82 89