1 variant for "Coqmax Beta"