loading SCIP...
7 33672 true
8 18 19 35 86 95 96