In a simple graph $G$ with $12$ vertices and $18$ edges, the size of a minimum vertex cover is $5$. What is the size of a maximum independent set in $G$?