Z3 | maze*