fixed solver ~zk

:)