EU : Z3 C / go