loading SCIP...
10 46407 true
21 27 29 32 47 48 63 75 76 78