tweak symbolic (solving)