loading SCIP...
8 39281 true
18 20 22 42 61 81 84 90