Let $ϵ>0$ and $n$ be sufficiently large depending on $ϵ$. Is there a graph on $n$ vertices with $\ge n^2/8$ many edges which contains no $K_4$ such that the largest independent set has size at most $ϵn$?