Added z3_output.txt