Download z3 solver 99 1dmwhemup