loading SCIP...
8 37703 true
11 19 45 59 64 67 79 83