loading SCIP...
14 30000 true
4 7 10 11 12 15 21 34 40 66 67 69 94 97