Is there a simple example of a smooth proper variety $X$ over $K=\mathbb{Q}_p$ ($p$ prime) such that

--- $X(K)\neq\emptyset$,

--- the $l$-adic étale cohomology $H^i(X\times_K\bar K,\mathbb{Q}_l)$ is unramified for every prime $l\neq p$ and every $i\in\mathbb{N}$,

--- the $p$-adic étale cohomology $H^i(X\times_K\bar K,\mathbb{Q}_p)$ is crystalline for every $i\in\mathbb{N}$,

and yet,

--- $X$ is not the generic fibre of any smooth proper $\mathbb{Z}_p$-scheme ?

My example of a Châtelet surface with these properties is simple enough, but can one do better ?

properZ_p-scheme, or make some similar change, because X is always the generic fiber of itself, viewed as a Z_p-scheme rather than a Q_p-scheme. $\endgroup$ – JBorger Jan 2 '10 at 18:02