loading SCIP...
19 24531 true
1 2 4 13 17 20 29 35 40 51 54 56 66 77 81 85 94 95 96