loading SCIP...
18 28985 true
4 10 19 23 24 25 29 30 35 50 51 64 73 74 83 91 93 99