Extremal Graph Theory and Ramsey Theory · Medium problem

What is the smallest number of edges on $12$ vertices that forces a $K_4$?