loading SCIP...
13 36484 true
5 6 35 39 40 51 64 70 75 78 92 97 98