loading SCIP...
11 39907 true
5 32 37 41 50 60 64 73 82 83 89