loading SCIP...
9 47843 true
9 10 36 40 48 57 66 85 96