Now, free Z3 solver as soon as possible