Extremal Graph Theory and Ramsey Theory · Hard problem

How many labeled triangle-free graphs on $6$ vertices have exactly $9$ edges?