loading SCIP...
12 39734 true
10 29 34 36 50 51 57 73 77 82 91 92