loading SCIP...
16 35735 true
11 14 17 21 29 30 32 49 59 61 68 69 78 81 86 93