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 $\mathbb{Z}_p$-scheme ?

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


  [1]: http://mathoverflow.net/questions/416/existence-of-smooth-models/10264#10264