loading SCIP...
17 31703 true
1 2 7 21 27 28 33 36 37 46 67 69 72 81 88 89 95