loading SCIP...
11 41031 true
4 22 27 36 39 57 58 60 77 84 98