loading SCIP...
16 35610 true
4 5 6 23 27 32 37 38 40 60 74 76 80 81 86 88