loading SCIP...
9 46235 true
4 21 38 51 52 53 56 65 73