loading SCIP...
9 48937 true
16 23 24 27 65 70 85 92 93