  We consider a fourth-order extension of the Allen-Cahn model with
mixed-diffusion and Navier boundary conditions. Using variational and
bifurcation methods, we prove results on existence, uniqueness, positivity,
stability, a priori estimates, and symmetry of solutions. As an application, we
construct a nontrivial bounded saddle solution in the plane.
