Lattice varieties covering the smallest nonmodular variety.