We know every Enriques surfaces has a K3 surface as its universal cover. My question is: what kind of K3 surface is the double cover of an Enriques surface? Or equivalently, what kind of K3 surface has a fixed point free involution?
In particular, can any quartic K3 be the double cover of an Enriques surface?
Thanks