z3_GenTEST_Assignment02_Team3-1.docx