loading SCIP...
13 36781 true
13 14 25 27 38 42 59 69 75 80 91 92 94