loading SCIP...
10 44922 true
6 17 34 48 50 63 71 77 81 94