How to root Z3+?