loading SCIP...
11 45110 true
13 17 26 27 31 37 38 64 76 77 92