loading SCIP...
15 35890 true
4 9 11 35 42 44 54 59 64 65 66 73 86 93 96