solver uzi why