Extremal Graph Theory and Ramsey Theory · Challenge problem

What is the maximum number of edges in a graph on $20$ vertices that contains no $K_5$?