loading SCIP...
16 35641 true
4 12 33 35 39 40 41 48 50 51 52 54 63 64 82 93