Extremal Graph Theory and Ramsey Theory · Easy problem

What is the maximum number of edges in a $K_4$-free graph on $10$ vertices?