Olympiad Number Theory · Superchallenge problem

What is the largest number of edges in a triangle-free graph on $19$ vertices, and how many vertices are in the smaller side of the extremal graph?