Test

Symbol: z3