loading SCIP...
11 40625 true
14 27 32 33 39 42 56 70 71 73 75