Extremal Graph Theory and Ramsey Theory · Medium problem

What is the maximum number of edges in a graph on $13$ vertices with no $K_5$?