with $solv, you're stubborn, aren't you?