loading SCIP...
15 34562 true
1 4 6 13 14 29 30 36 40 66 68 80 81 82 98