loading SCIP...
9 48391 true
5 6 17 25 38 42 56 63 81