loading SCIP...
12 38609 true
5 14 29 32 35 39 49 52 58 72 77 90